cnf

Class Formula

java.lang.Object

cnf.Formula

public abstract class Formula
extends java.lang.Object

Repraesentation aussagenlogischer Formeln.

Diese Klasse stellt neben kein oeffentliches Interface bereit. Formeln koennen mit den Methoden der Klasse CNF konstruiert werden.

Method Summary

Modifier and Type	Method and Description
abstract java.lang.String	toString() Wandelt die repraesentierte Formel in einen String um.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public abstract java.lang.String toString()

Wandelt die repraesentierte Formel in einen String um.

Overrides:

toString in class java.lang.Object