edu::tum::cs::logic::Negation Class Reference

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

Public Member Functions
boolean	isTrue (IPossibleWorld w)
	Negation (Collection< Formula > children) throws Exception
	Negation (Formula f)
Formula	simplify (Database evidence)
Formula	toCNF ()
Formula	toNNF ()
String	toString ()

Detailed Description

Definition at line 8 of file Negation.java.

edu::tum::cs::logic::Negation::Negation ( Formula f ) [inline]

Definition at line 9 of file Negation.java.

edu::tum::cs::logic::Negation::Negation ( Collection< Formula > children ) throws Exception [inline]

Definition at line 13 of file Negation.java.

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

Definition at line 24 of file Negation.java.

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

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

Parameters:

evidence

(evidence of the current scenario)

Definition at line 86 of file Negation.java.

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

Definition at line 29 of file Negation.java.

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

Definition at line 55 of file Negation.java.

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

Definition at line 19 of file Negation.java.

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