edu::tum::cs::logic::PossibleWorld Class Reference

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

[legend]

List of all members.

Public Member Functions
PossibleWorld	clone ()
boolean	get (int idxGndAtom)
boolean[]	getState ()
WorldVariables	getVariables ()
boolean	isTrue (GroundAtom ga)
	PossibleWorld (WorldVariables worldVars, boolean[] state)
	PossibleWorld (WorldVariables worldVars)
void	print (PrintStream out)
void	print ()
void	set (int idxGndAtom, boolean value)
void	set (GroundAtom gndAtom, boolean value)
void	set (String gndAtom, boolean value)
void	setEvidence (Database db) throws Exception
void	setState (boolean[] state)
Protected Attributes
boolean[]	state
WorldVariables	worldVars

---

Detailed Description

Definition at line 9 of file PossibleWorld.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::PossibleWorld::PossibleWorld

(

WorldVariables

worldVars

)

[inline]

Definition at line 14 of file PossibleWorld.java.

edu::tum::cs::logic::PossibleWorld::PossibleWorld	(	WorldVariables	worldVars,
		boolean[]	state
	)			[inline]

Definition at line 19 of file PossibleWorld.java.

---

Member Function Documentation

PossibleWorld edu::tum::cs::logic::PossibleWorld::clone

(

)

[inline]

Definition at line 46 of file PossibleWorld.java.

boolean edu::tum::cs::logic::PossibleWorld::get

(

int

idxGndAtom

)

[inline]

Definition at line 42 of file PossibleWorld.java.

boolean [] edu::tum::cs::logic::PossibleWorld::getState

(

)

[inline]

Definition at line 50 of file PossibleWorld.java.

WorldVariables edu::tum::cs::logic::PossibleWorld::getVariables

(

)

[inline]

Definition at line 54 of file PossibleWorld.java.

boolean edu::tum::cs::logic::PossibleWorld::isTrue

(

GroundAtom

ga

)

[inline]

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

Definition at line 26 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::print

(

PrintStream

out

)

[inline]

Definition at line 62 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::print

(

)

[inline]

Definition at line 58 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::set	(	int	idxGndAtom,
		boolean	value
	)			[inline]

Definition at line 38 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::set	(	GroundAtom	gndAtom,
		boolean	value
	)			[inline]

Definition at line 34 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::set	(	String	gndAtom,
		boolean	value
	)			[inline]

Definition at line 30 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::setEvidence

(

Database

db

)

throws Exception [inline]

Definition at line 77 of file PossibleWorld.java.

void edu::tum::cs::logic::PossibleWorld::setState

(

boolean[]

state

)

[inline]

Definition at line 70 of file PossibleWorld.java.

---

Member Data Documentation

boolean [] edu::tum::cs::logic::PossibleWorld::state [protected]

Definition at line 12 of file PossibleWorld.java.

WorldVariables edu::tum::cs::logic::PossibleWorld::worldVars [protected]

Definition at line 11 of file PossibleWorld.java.

---

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

• PossibleWorld.java