edu::tum::cs::logic::ForAll Class Reference

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

Public Member Functions
	ForAll (Collection< String > vars, Formula f)
void	getVariables (Database db, Map< String, String > ret) throws Exception
Formula	ground (Map< String, String > binding, WorldVariables worldVars, Database db) throws Exception
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Package Attributes
Formula	f
Map< String, String >	var2domName
Collection< String >	vars

Detailed Description

Definition at line 11 of file ForAll.java.

edu::tum::cs::logic::ForAll::ForAll	(	Collection< String >	vars,
		Formula	f
	)			`[inline]`

Definition at line 19 of file ForAll.java.

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

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