kodkod.ast
Class NotFormula
java.lang.Object
kodkod.ast.Formula
kodkod.ast.NotFormula
- All Implemented Interfaces:
- Node
public final class NotFormula
- extends Formula
Negation of a formula
.
- Author:
- Emina Torlak
- invariant:
- specfield:
Method Summary |
|
accept(ReturnVisitor<E,F,D,I> visitor)
Returns the negation of this negation, which is this.formula. |
void |
accept(VoidVisitor visitor)
Accepts the given visitor. |
Formula |
formula()
Returns this.formula. |
java.lang.String |
toString()
Returns the string representation of this formula. |
Methods inherited from class kodkod.ast.Formula |
and, compose, comprehension, forAll, forSome, iff, implies, not, or, quantify, thenElse, thenElse |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
formula
public Formula formula()
- Returns this.formula.
- Returns:
- this.formula
accept
public <E,F,D,I> F accept(ReturnVisitor<E,F,D,I> visitor)
- Returns the negation of this negation, which is this.formula.
- Specified by:
accept
in interface Node
- Specified by:
accept
in class Formula
- Returns:
- this.formula
- See Also:
Node.accept(kodkod.ast.visitor.ReturnVisitor)
accept
public void accept(VoidVisitor visitor)
- Accepts the given visitor.
- See Also:
Node.accept(kodkod.ast.visitor.VoidVisitor)
toString
public java.lang.String toString()
- Returns the string representation of this formula.
- Overrides:
toString
in class java.lang.Object
- Returns:
- string representation of this formula