edu::tum::cs::logic::sat::EvidenceHandler Class Reference

List of all members.

Public Member Functions
	EvidenceHandler (WorldVariables vars, Iterable<?extends AbstractVariable > db) throws Exception
HashMap< Integer, Boolean >	getEvidence ()
void	setEvidenceInState (PossibleWorld state)
void	setRandomState (PossibleWorld state)
Protected Attributes
Map2Set< Block, GroundAtom >	blockExclusions
HashMap< Integer, Boolean >	evidence
HashSet< Block >	evidenceBlocks
Random	rand
WorldVariables	vars
Static Protected Attributes
static boolean	verbose = false

---

Detailed Description

Definition at line 25 of file EvidenceHandler.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::EvidenceHandler::EvidenceHandler	(	WorldVariables	vars,
		Iterable<?extends AbstractVariable >	db
	)			throws Exception [inline]

Definition at line 34 of file EvidenceHandler.java.

---

Member Function Documentation

HashMap<Integer, Boolean> edu::tum::cs::logic::sat::EvidenceHandler::getEvidence

(

)

[inline]

Definition at line 118 of file EvidenceHandler.java.

void edu::tum::cs::logic::sat::EvidenceHandler::setEvidenceInState

(

PossibleWorld

state

)

[inline]

Definition at line 72 of file EvidenceHandler.java.

void edu::tum::cs::logic::sat::EvidenceHandler::setRandomState

(

PossibleWorld

state

)

[inline]

sets a random state for the non-evidence atoms

Parameters:

state

Definition at line 81 of file EvidenceHandler.java.

---

Member Data Documentation

Map2Set<Block, GroundAtom> edu::tum::cs::logic::sat::EvidenceHandler::blockExclusions [protected]

Definition at line 30 of file EvidenceHandler.java.

HashMap<Integer,Boolean> edu::tum::cs::logic::sat::EvidenceHandler::evidence [protected]

Definition at line 28 of file EvidenceHandler.java.

HashSet<Block> edu::tum::cs::logic::sat::EvidenceHandler::evidenceBlocks [protected]

Definition at line 29 of file EvidenceHandler.java.

Random edu::tum::cs::logic::sat::EvidenceHandler::rand [protected]

Definition at line 32 of file EvidenceHandler.java.

WorldVariables edu::tum::cs::logic::sat::EvidenceHandler::vars [protected]

Definition at line 31 of file EvidenceHandler.java.

boolean edu::tum::cs::logic::sat::EvidenceHandler::verbose = false [static, protected]

Definition at line 27 of file EvidenceHandler.java.

---

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

• EvidenceHandler.java