Modifier and Type | Field and Description |
---|---|
(package private) T |
formula
not |
(package private) T |
negation
not |
Constructor and Description |
---|
Negation(T formula,
T negation)
Creates a new Negation
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
Signature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
java.lang.String |
toString() |
T extends Formula formula
T extends Formula negation
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public Signature getSignature()
Formula
getSignature
in interface Formula
public java.lang.String toString()
toString
in class java.lang.Object