edu::tum::cs::logic::UngroundedFormula Class Reference

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

[legend]

List of all members.

Public Member Functions
void	getGroundAtoms (Set< GroundAtom > ret)
boolean	isTrue (IPossibleWorld w)
Formula	simplify (Database db)

---

Detailed Description

Definition at line 7 of file UngroundedFormula.java.

---

Member Function Documentation

void edu::tum::cs::logic::UngroundedFormula::getGroundAtoms

(

Set< GroundAtom >

ret

)

[inline, virtual]

gets the set of ground atoms appearing in this (grounded) formula

Parameters:

ret

the set to write to

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

Definition at line 10 of file UngroundedFormula.java.

boolean edu::tum::cs::logic::UngroundedFormula::isTrue

(

IPossibleWorld

w

)

[inline, virtual]

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

Definition at line 15 of file UngroundedFormula.java.

Formula edu::tum::cs::logic::UngroundedFormula::simplify

(

Database

evidence

)

[inline, virtual]

simplifies the formula by removing parts of the formula that can be evaluated

Parameters:

evidence

an evidence database with which to evaluate ground atoms (may be null; if null, will only simplify based on TrueFalse instances appearing within the formula)

Returns:

a simplified version of the formula that incorporates the evidence

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

Definition at line 20 of file UngroundedFormula.java.

---

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

• UngroundedFormula.java