edu::tum::cs::logic::Implication Class Reference

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

[legend]

List of all members.

Public Member Functions
	Implication (Formula antecedent, Formula consequent)
	Implication (Collection< Formula > c) throws Exception
boolean	isTrue (IPossibleWorld w)
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()

---

Detailed Description

Definition at line 7 of file Implication.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::Implication::Implication

(

Collection< Formula >

c

)

throws Exception [inline]

Definition at line 8 of file Implication.java.

edu::tum::cs::logic::Implication::Implication	(	Formula	antecedent,
		Formula	consequent
	)			[inline]

Definition at line 14 of file Implication.java.

---

Member Function Documentation

boolean edu::tum::cs::logic::Implication::isTrue

(

IPossibleWorld

w

)

[inline, virtual]

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

Definition at line 23 of file Implication.java.

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

Formula edu::tum::cs::logic::Implication::toCNF

(

)

[inline, virtual]

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

Definition at line 28 of file Implication.java.

Formula edu::tum::cs::logic::Implication::toNNF

(

)

[inline, virtual]

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

Definition at line 33 of file Implication.java.

String edu::tum::cs::logic::Implication::toString

(

)

[inline]

Definition at line 18 of file Implication.java.

---

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

• Implication.java