edu::tum::cs::logic::PossibleWorldFromDatabase Class Reference

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

[legend]

List of all members.

Public Member Functions
boolean	isTrue (GroundAtom ga)
	PossibleWorldFromDatabase (RelationalBeliefNetwork rbn, Database db, boolean closedWorld)
Package Attributes
boolean	closedWorld
Database	db
RelationalBeliefNetwork	rbn

---

Detailed Description

Definition at line 7 of file PossibleWorldFromDatabase.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::PossibleWorldFromDatabase::PossibleWorldFromDatabase	(	RelationalBeliefNetwork	rbn,
		Database	db,
		boolean	closedWorld
	)			[inline]

Definition at line 13 of file PossibleWorldFromDatabase.java.

---

Member Function Documentation

boolean edu::tum::cs::logic::PossibleWorldFromDatabase::isTrue

(

GroundAtom

ga

)

[inline]

Implements edu::tum::cs::logic::IPossibleWorld.

Definition at line 19 of file PossibleWorldFromDatabase.java.

---

Member Data Documentation

boolean edu::tum::cs::logic::PossibleWorldFromDatabase::closedWorld [package]

Definition at line 11 of file PossibleWorldFromDatabase.java.

Database edu::tum::cs::logic::PossibleWorldFromDatabase::db [package]

Definition at line 9 of file PossibleWorldFromDatabase.java.

RelationalBeliefNetwork edu::tum::cs::logic::PossibleWorldFromDatabase::rbn [package]

Definition at line 10 of file PossibleWorldFromDatabase.java.

---

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

• PossibleWorldFromDatabase.java