edu::tum::cs::logic::ComplexFormula Class Reference

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

Public Member Functions
	ComplexFormula (Formula...children)
	ComplexFormula (Collection< Formula > children)
void	getGroundAtoms (Set< GroundAtom > ret)
void	getVariables (Database db, Map< String, String > ret) throws Exception
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db) throws Exception
Public Attributes
Formula[]	children

Detailed Description

Definition at line 11 of file ComplexFormula.java.

edu::tum::cs::logic::ComplexFormula::ComplexFormula ( Collection< Formula > children ) [inline]

Definition at line 14 of file ComplexFormula.java.

edu::tum::cs::logic::ComplexFormula::ComplexFormula ( Formula... children ) [inline]

Definition at line 18 of file ComplexFormula.java.

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

void edu::tum::cs::logic::ComplexFormula::getVariables	(	Database	db,
		Map< String, String >	ret
	)			throws Exception `[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 27 of file ComplexFormula.java.

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

Exceptions:

Exception

Definition at line 33 of file ComplexFormula.java.

Definition at line 12 of file ComplexFormula.java.

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