edu::tum::cs::logic::GroundAtom Class Reference

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

Public Member Functions
boolean	equals (Object other)
void	getGroundAtoms (Set< GroundAtom > ret)
void	getVariables (Database db, Map< String, String > ret)
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db)
	GroundAtom (String gndAtom)
	GroundAtom (String predicate, String[] args)
int	hashCode ()
boolean	isTrue (IPossibleWorld w)
void	setIndex (int i)
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Public Attributes
String[]	args
int	index
String	predicate

Detailed Description

Definition at line 11 of file GroundAtom.java.

Constructor & Destructor Documentation

edu::tum::cs::logic::GroundAtom::GroundAtom	(	String	predicate,
		String[]	args
	)			`[inline]`

Definition at line 16 of file GroundAtom.java.

edu::tum::cs::logic::GroundAtom::GroundAtom ( String gndAtom ) [inline]

Definition at line 22 of file GroundAtom.java.

Member Function Documentation

boolean edu::tum::cs::logic::GroundAtom::equals ( Object other ) [inline]

Definition at line 71 of file GroundAtom.java.

void edu::tum::cs::logic::GroundAtom::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 51 of file GroundAtom.java.

void edu::tum::cs::logic::GroundAtom::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 42 of file GroundAtom.java.

Formula edu::tum::cs::logic::GroundAtom::ground	(	Map< String, String >	binding,
		WorldVariables	worldVars,
		Database	db
	)			`[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 46 of file GroundAtom.java.

int edu::tum::cs::logic::GroundAtom::hashCode ( ) [inline]

Definition at line 79 of file GroundAtom.java.

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

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

Definition at line 33 of file GroundAtom.java.

void edu::tum::cs::logic::GroundAtom::setIndex ( int i ) [inline]

Definition at line 37 of file GroundAtom.java.

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

simplifies the formula based on the evidence

Parameters:

evidence

evidence of current scenario (or null)

Returns:: returns an instance of TrueFalse if the value of the ground atom is contained in the evidence (or evidence is null); otherwise returns this very ground atom

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

Definition at line 91 of file GroundAtom.java.

Formula edu::tum::cs::logic::GroundAtom::toCNF ( ) [inline, virtual]

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

Definition at line 61 of file GroundAtom.java.

Formula edu::tum::cs::logic::GroundAtom::toNNF ( ) [inline, virtual]

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

Definition at line 66 of file GroundAtom.java.

String edu::tum::cs::logic::GroundAtom::toString ( ) [inline]

Definition at line 56 of file GroundAtom.java.