edu::tum::cs::logic::WorldVariables::Block Class Reference

List of all members.

Public Member Functions
	Block (Vector< GroundAtom > list)
GroundAtom	get (int index)
GroundAtom	getTrueOne (IPossibleWorld w)
int	indexOf (GroundAtom gndAtom)
Iterator< GroundAtom >	iterator ()
int	size ()
Protected Attributes
Vector< GroundAtom >	gndAtoms
GroundAtom	trueOne

---

Detailed Description

Definition at line 88 of file WorldVariables.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::WorldVariables::Block::Block

(

Vector< GroundAtom >

list

)

[inline]

Definition at line 92 of file WorldVariables.java.

---

Member Function Documentation

GroundAtom edu::tum::cs::logic::WorldVariables::Block::get

(

int

index

)

[inline]

Definition at line 121 of file WorldVariables.java.

GroundAtom edu::tum::cs::logic::WorldVariables::Block::getTrueOne

(

IPossibleWorld

w

)

[inline]

Definition at line 101 of file WorldVariables.java.

int edu::tum::cs::logic::WorldVariables::Block::indexOf

(

GroundAtom

gndAtom

)

[inline]

Definition at line 125 of file WorldVariables.java.

Iterator<GroundAtom> edu::tum::cs::logic::WorldVariables::Block::iterator

(

)

[inline]

Definition at line 97 of file WorldVariables.java.

int edu::tum::cs::logic::WorldVariables::Block::size

(

)

[inline]

Definition at line 117 of file WorldVariables.java.

---

Member Data Documentation

Vector<GroundAtom> edu::tum::cs::logic::WorldVariables::Block::gndAtoms [protected]

Definition at line 89 of file WorldVariables.java.

GroundAtom edu::tum::cs::logic::WorldVariables::Block::trueOne [protected]

Definition at line 90 of file WorldVariables.java.

---

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

• WorldVariables.java