kodkod.ast
Class NotFormula

java.lang.Object
  extended by kodkod.ast.Formula
      extended by kodkod.ast.NotFormula
All Implemented Interfaces:
Node

public final class NotFormula
extends Formula

Negation of a formula.

Author:
Emina Torlak
invariant:
children = formula
specfield:
formula: Formula

Field Summary
 
Fields inherited from class kodkod.ast.Formula
FALSE, TRUE
 
Method Summary
<E,F,D,I> F
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
 

Method Detail

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