IPossibleWorld.java
Go to the documentation of this file.00001 package edu.tum.cs.logic; 00002 00008 public interface IPossibleWorld { 00009 public boolean isTrue(GroundAtom ga); 00010 }
00001 package edu.tum.cs.logic; 00002 00008 public interface IPossibleWorld { 00009 public boolean isTrue(GroundAtom ga); 00010 }