edu::tum::cs::logic::Equality Class Reference

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

Public Member Functions
	Equality (String left, String right)
void	getVariables (Database db, Map< String, String > ret)
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db) throws Exception
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Public Attributes
String	left
String	right

Detailed Description

Definition at line 7 of file Equality.java.

edu::tum::cs::logic::Equality::Equality	(	String	left,
		String	right
	)			`[inline]`

Definition at line 10 of file Equality.java.

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

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