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

List of all members.

Classes
class	Block
Public Member Functions
void	add (GroundAtom gndAtom)
Block	addBlock (Vector< GroundAtom > block)
GroundAtom	get (Integer index)
GroundAtom	get (String gndAtom)
Block	getBlock (Integer idxGA)
Set< String >	getVariableStrings ()
Iterator< GroundAtom >	iterator ()
int	size ()
String	toString ()
	WorldVariables ()
Protected Attributes
HashMap< Integer, Block >	var2block
HashMap< String, GroundAtom >	vars
HashMap< Integer, GroundAtom >	varsByIndex

---

Detailed Description

contains the set of variables of a propositionalized first-order knowledge base, i.e. a set of ground atoms, where each is assigned a unique index (which can be used to represent a possible world as an array of booleans)

Author:

jain

Definition at line 17 of file WorldVariables.java.

---

Constructor & Destructor Documentation

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

(

)

[inline]

constructs an empty set of variables

Definition at line 28 of file WorldVariables.java.

---

Member Function Documentation

void edu::tum::cs::logic::WorldVariables::add

(

GroundAtom

gndAtom

)

[inline]

adds a variable (ground atom)

Parameters:

gndAtom

Definition at line 38 of file WorldVariables.java.

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

(

Vector< GroundAtom >

block

)

[inline]

adds a block of mutually exclusive and exhaustive ground atoms that collectively define a single non-boolean variable (each individual ground atom will be added to the set of logical variables if it has not already been added)

Parameters:

block

Definition at line 49 of file WorldVariables.java.

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

(

Integer

index

)

[inline]

Definition at line 68 of file WorldVariables.java.

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

(

String

gndAtom

)

[inline]

retrieves the variable (ground atom) that corresponds to the given string representation

Parameters:

gndAtom

Returns:

Definition at line 64 of file WorldVariables.java.

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

(

Integer

idxGA

)

[inline]

Definition at line 72 of file WorldVariables.java.

Set<String> edu::tum::cs::logic::WorldVariables::getVariableStrings

(

)

[inline]

Definition at line 80 of file WorldVariables.java.

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

(

)

[inline]

Definition at line 130 of file WorldVariables.java.

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

(

)

[inline]

Definition at line 76 of file WorldVariables.java.

String edu::tum::cs::logic::WorldVariables::toString

(

)

[inline]

Definition at line 84 of file WorldVariables.java.

---

Member Data Documentation

HashMap<Integer, Block> edu::tum::cs::logic::WorldVariables::var2block [protected]

maps indices of ground atoms to Blocks (or null if var not in block)

Definition at line 22 of file WorldVariables.java.

HashMap<String, GroundAtom> edu::tum::cs::logic::WorldVariables::vars [protected]

Definition at line 18 of file WorldVariables.java.

HashMap<Integer, GroundAtom> edu::tum::cs::logic::WorldVariables::varsByIndex [protected]

Definition at line 23 of file WorldVariables.java.

---

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

• WorldVariables.java