edu::tum::cs::logic::Conjunction Class Reference

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

Public Member Functions
	Conjunction (Formula...children)
	Conjunction (Collection< Formula > children)
boolean	isTrue (IPossibleWorld w)
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()

Detailed Description

Definition at line 11 of file Conjunction.java.

edu::tum::cs::logic::Conjunction::Conjunction ( Collection< Formula > children ) [inline]

Definition at line 13 of file Conjunction.java.

edu::tum::cs::logic::Conjunction::Conjunction ( Formula... children ) [inline]

Definition at line 17 of file Conjunction.java.

boolean edu::tum::cs::logic::Conjunction::isTrue ( IPossibleWorld w ) [inline, virtual]

Definition at line 26 of file Conjunction.java.

Formula edu::tum::cs::logic::Conjunction::simplify ( Database evidence ) [inline, virtual]

This method simplifies the formula (atoms that are given by the evidence are evaluated to TrueFalse)

Parameters:

evidence

(evidence of the current szenario)

Returns:: returns a Formula simplified by the evidence or an instance of TrueFalse

Definition at line 116 of file Conjunction.java.

Formula edu::tum::cs::logic::Conjunction::toCNF ( ) [inline, virtual]

Definition at line 34 of file Conjunction.java.

Formula edu::tum::cs::logic::Conjunction::toNNF ( ) [inline, virtual]

Definition at line 96 of file Conjunction.java.

String edu::tum::cs::logic::Conjunction::toString ( ) [inline]

Definition at line 21 of file Conjunction.java.

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