edu::tum::cs::logic::Biimplication Class Reference

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

[legend]

List of all members.

Public Member Functions
	Biimplication (Formula f1, Formula f2)
	Biimplication (Collection< Formula > parts) throws Exception
boolean	isTrue (IPossibleWorld w)
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()

---

Detailed Description

Definition at line 7 of file Biimplication.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::Biimplication::Biimplication

(

Collection< Formula >

parts

)

throws Exception [inline]

Definition at line 9 of file Biimplication.java.

edu::tum::cs::logic::Biimplication::Biimplication	(	Formula	f1,
		Formula	f2
	)			[inline]

Definition at line 15 of file Biimplication.java.

---

Member Function Documentation

boolean edu::tum::cs::logic::Biimplication::isTrue

(

IPossibleWorld

w

)

[inline, virtual]

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

Definition at line 24 of file Biimplication.java.

Formula edu::tum::cs::logic::Biimplication::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 43 of file Biimplication.java.

Formula edu::tum::cs::logic::Biimplication::toCNF

(

)

[inline, virtual]

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

Definition at line 29 of file Biimplication.java.

Formula edu::tum::cs::logic::Biimplication::toNNF

(

)

[inline, virtual]

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

Definition at line 36 of file Biimplication.java.

String edu::tum::cs::logic::Biimplication::toString

(

)

[inline]

Definition at line 19 of file Biimplication.java.

---

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

• Biimplication.java