cnf

Class VarName

java.lang.Object

cnf.VarName

public final class VarName
extends java.lang.Object

Repraesentation von Variablen fuer aussagenlogische Formeln.

Diese Klasse stellt neben toString, equals und hashCode kein oeffentliches Interface bereit. Variablen koennen mit de Methode freshVarName() der Klasse CNF konstruiert werden.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object