cnf

Class Formula

java.lang.Object

cnf.Formula

public abstract class Formula
extends java.lang.Object

Repraesentation aussagenlogischer Formeln.

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

Method Summary

Methods

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public java.lang.String toString()

Wandelt die repraesentierte Formel in einen String um.

Overrides:

toString in class java.lang.Object