edu::tum::cs::logic::Disjunction Class Reference

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

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

Detailed Description

Definition at line 13 of file Disjunction.java.

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

Definition at line 15 of file Disjunction.java.

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

Definition at line 19 of file Disjunction.java.

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

Definition at line 28 of file Disjunction.java.

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

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

Definition at line 36 of file Disjunction.java.

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

Definition at line 83 of file Disjunction.java.

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

Definition at line 23 of file Disjunction.java.

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