A C E F H I N O R S T V X

A

and(Formula, Formula) - Static method in class cnf.CNF

Erzeugt die Konjunktion zweier Formeln.

and(List<Formula>) - Static method in class cnf.CNF

Erzeugt die Konjunktion einer Liste von Formeln.

C

cnf - package cnf

CNF - Class in cnf

Methoden zur Konstruktion von aussagenlogischen Formeln sowie zum Aufruf eines SAT-Solvers.

cnf(Formula) - Static method in class cnf.CNF

Gibt eine zur uebergebenen Formel erfuellbarkeitsaequivalente Formel in CNF zurueck.

cnfDIMACS(Formula) - Static method in class cnf.CNF

Gibt eine zur uebergebenen Formel erfuellbarkeitsaequivalente Formel in CNF als String im DIMACS zurueck.

E

equals(Object) - Method in class cnf.VarName

F

Formula - Class in cnf

Repraesentation aussagenlogischer Formeln.

freshVarName() - Static method in class cnf.CNF

Erzeugt eine neue Variable.

H

hashCode() - Method in class cnf.VarName

I

iff(Formula, Formula) - Static method in class cnf.CNF

Erzeugt die Biimplikation zweier Formeln.

imp(Formula, Formula) - Static method in class cnf.CNF

Erzeugt die Implikation zweier Formeln.

N

neg(Formula) - Static method in class cnf.CNF

Erzeugt die Negation einer gegbenen Formel.

O

or(Formula, Formula) - Static method in class cnf.CNF

Erzeugt die Disjunktion zweier Formeln.

or(List<Formula>) - Static method in class cnf.CNF

Erzeugt die Disjunktion einer Liste von Formeln.

R

reset() - Static method in class cnf.CNF

Setzt den Variablennamengenerator zurueck.

S

satisfiable(Formula) - Static method in class cnf.CNF

Wandelt die uebergebene Formel in eine erfuellbarkeitsaequivalente Formel in CNF um und ueberprueft sie mittels des SAT-Solvers SAT4j auf Erfuellbarkeit.

T

toString() - Method in class cnf.Formula

Wandelt die repraesentierte Formel in einen String um.

toString() - Method in class cnf.VarName

V

var(VarName) - Static method in class cnf.CNF

Erzeugt die Formel, die durch eine aussagenlogische Variable gegeben ist.

VarName - Class in cnf

Repraesentation von Variablen fuer aussagenlogische Formeln.

X

xor(Formula, Formula) - Static method in class cnf.CNF

Erzeugt das exklusive Oder zweier Formeln.

A C E F H I N O R S T V X