edu::tum::cs::logic::TrueFalse Class Reference

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

Public Member Functions
void	getGroundAtoms (Set< GroundAtom > ret)
void	getVariables (Database db, Map< String, String > ret)
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db) throws Exception
boolean	isTrue ()
boolean	isTrue (IPossibleWorld w)
TrueFalse	opposite ()
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Static Public Member Functions
static TrueFalse	getInstance (boolean isTrue)
Static Public Attributes
static TrueFalse	FALSE = new TrueFalse(false)
static TrueFalse	TRUE = new TrueFalse(true)
Protected Attributes
boolean	isTrue
Private Member Functions
	TrueFalse (boolean isTrue)

Detailed Description

Definition at line 8 of file TrueFalse.java.

Constructor & Destructor Documentation

edu::tum::cs::logic::TrueFalse::TrueFalse ( boolean isTrue ) [inline, private]

Definition at line 19 of file TrueFalse.java.

Member Function Documentation

void edu::tum::cs::logic::TrueFalse::getGroundAtoms ( Set< GroundAtom > ret ) [inline, virtual]

gets the set of ground atoms appearing in this (grounded) formula

Parameters:

ret

the set to write to

Implements edu::tum::cs::logic::Formula.

Definition at line 33 of file TrueFalse.java.

static TrueFalse edu::tum::cs::logic::TrueFalse::getInstance ( boolean isTrue ) [inline, static]

Definition at line 13 of file TrueFalse.java.

void edu::tum::cs::logic::TrueFalse::getVariables	(	Database	db,
		Map< String, String >	ret
	)			`[inline, virtual]`

gets a mapping from names of meta-variables appearing in the formula to the types/domains they apply to

Parameters:

	db
	ret	mapping in which to store the result

Exceptions:

Exception

Implements edu::tum::cs::logic::Formula.

Definition at line 24 of file TrueFalse.java.

Formula edu::tum::cs::logic::TrueFalse::ground	(	Map< String, String >	binding,
		WorldVariables	worldVars,
		Database	db
	)			throws Exception `[inline, virtual]`

grounds this formula for a particular binding of its variables

Parameters:

	binding	the variable binding
	worldVars	the set of ground atoms (which is needed to return the ground versions of atoms)
	db	a database containing a set of constants for each type that can be used to ground quantified formulas (can be null if the formula does not contain any quantified variables)

Returns:

Exceptions:

Exception

Implements edu::tum::cs::logic::Formula.

Definition at line 28 of file TrueFalse.java.

boolean edu::tum::cs::logic::TrueFalse::isTrue ( ) [inline]

Definition at line 41 of file TrueFalse.java.

boolean edu::tum::cs::logic::TrueFalse::isTrue ( IPossibleWorld w ) [inline, virtual]

Implements edu::tum::cs::logic::Formula.

Definition at line 37 of file TrueFalse.java.

TrueFalse edu::tum::cs::logic::TrueFalse::opposite ( ) [inline]

Definition at line 65 of file TrueFalse.java.

Formula edu::tum::cs::logic::TrueFalse::simplify ( Database evidence ) [inline, virtual]

simplifies the formula by removing parts of the formula that can be evaluated

Parameters:

evidence

an evidence database with which to evaluate ground atoms (may be null; if null, will only simplify based on TrueFalse instances appearing within the formula)