edu::tum::cs::logic::Atom Class Reference

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

[legend]

List of all members.

Public Member Functions
	Atom (String predName, Collection< String > params)
void	getVariables (Database db, Map< String, String > ret) throws Exception
Formula	ground (Map< String, String > binding, WorldVariables vars, Database db) throws Exception
Formula	toCNF ()
Formula	toNNF ()
String	toString ()
Static Public Member Functions
static boolean	isVariable (String paramName)
Public Attributes
Collection< String >	params
String	predName

---

Detailed Description

Definition at line 10 of file Atom.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::Atom::Atom	(	String	predName,
		Collection< String >	params
	)			[inline]

Definition at line 15 of file Atom.java.

---

Member Function Documentation

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

Implements edu::tum::cs::logic::Formula.

Definition at line 26 of file Atom.java.

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

Returns:

Exceptions:

Exception

Implements edu::tum::cs::logic::Formula.

Definition at line 51 of file Atom.java.

static boolean edu::tum::cs::logic::Atom::isVariable

(

String

paramName

)

[inline, static]

Definition at line 46 of file Atom.java.

Formula edu::tum::cs::logic::Atom::toCNF

(

)

[inline, virtual]

Implements edu::tum::cs::logic::Formula.

Definition at line 74 of file Atom.java.

Formula edu::tum::cs::logic::Atom::toNNF

(

)

[inline, virtual]

Implements edu::tum::cs::logic::Formula.

Definition at line 79 of file Atom.java.

String edu::tum::cs::logic::Atom::toString

(

)

[inline]

Definition at line 21 of file Atom.java.

---

Member Data Documentation

Collection<String> edu::tum::cs::logic::Atom::params

Definition at line 12 of file Atom.java.

String edu::tum::cs::logic::Atom::predName

Definition at line 13 of file Atom.java.

---

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

• Atom.java