Uses of Interface
kodkod.ast.visitor.ReturnVisitor

Packages that use ReturnVisitor
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
 

Uses of ReturnVisitor in kodkod.ast
 

Methods in kodkod.ast with parameters of type ReturnVisitor
<E,F,D,I> E
Variable.accept(ReturnVisitor<E,F,D,I> visitor)
          Returns true of o is a BinaryFormula with the same tree structure as this.
<E,F,D,I> I
UnaryIntExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
<E,F,D,I> E
UnaryExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> I
SumExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
<E,F,D,I> F
RelationPredicate.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
Relation.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> F
QuantifiedFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
ProjectExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> F
NotFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Returns the negation of this negation, which is this.formula.
<E,F,D,I> java.lang.Object
Node.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e.
<E,F,D,I> F
MultiplicityFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
IntToExprCast.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
abstract
<E,F,D,I> I
IntExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e.
<E,F,D,I> I
IntConstant.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
<E,F,D,I> F
IntComparisonFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> I
IfIntExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
<E,F,D,I> E
IfExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
abstract
<E,F,D,I> F
Formula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> I
ExprToIntCast.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
abstract
<E,F,D,I> E
Expression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> D
Decls.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> D
Decl.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> F
ConstantFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
ConstantExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
Comprehension.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> F
ComparisonFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> I
BinaryIntExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
<E,F,D,I> F
BinaryFormula.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
<E,F,D,I> E
BinaryExpression.accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
 

Uses of ReturnVisitor in kodkod.ast.visitor
 

Classes in kodkod.ast.visitor that implement ReturnVisitor
 class AbstractCollector<T>
          A depth first collector.
 class AbstractDetector
          A depth first detector.
 class AbstractReplacer
          A depth first replacer.