edu::tum::cs::logic::GroundLiteral Class Reference

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

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
	GroundLiteral (boolean isPositive, GroundAtom gndAtom)
boolean	isTrue (IPossibleWorld w)
void	negate ()
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Public Attributes
GroundAtom	gndAtom
boolean	isPositive

Detailed Description

Definition at line 8 of file GroundLiteral.java.

edu::tum::cs::logic::GroundLiteral::GroundLiteral	(	boolean	isPositive,
		GroundAtom	gndAtom
	)			`[inline]`

Definition at line 12 of file GroundLiteral.java.

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

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

Parameters:

ret

the set to write to

Definition at line 32 of file GroundLiteral.java.

void edu::tum::cs::logic::GroundLiteral::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

Definition at line 23 of file GroundLiteral.java.

Formula edu::tum::cs::logic::GroundLiteral::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)