edu::tum::cs::logic::IPossibleWorld Interface Reference

Inheritance diagram for edu::tum::cs::logic::IPossibleWorld:

[legend]

List of all members.

Public Member Functions
boolean	isTrue (GroundAtom ga)

---

Detailed Description

the basic interface for possible worlds, which must assign a truth value to every variable (ground atom)

Author:

jain

Definition at line 8 of file IPossibleWorld.java.

---

Member Function Documentation

boolean edu::tum::cs::logic::IPossibleWorld::isTrue

(

GroundAtom

ga

)

Implemented in edu::tum::cs::logic::PossibleWorld, and edu::tum::cs::logic::PossibleWorldFromDatabase.

---

The documentation for this interface was generated from the following file:

• IPossibleWorld.java