edu::tum::cs::logic::Literal Class Reference

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

Public Member Functions
void	getVariables (Database db, Map< String, String > ret) throws Exception
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db) throws Exception
	Literal (boolean isPositive, Atom atom)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Public Attributes
Atom	atom
boolean	isPositive

Detailed Description

Definition at line 7 of file Literal.java.

edu::tum::cs::logic::Literal::Literal	(	boolean	isPositive,
		Atom	atom
	)			`[inline]`

Definition at line 11 of file Literal.java.

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

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