Uses of Interface
kodkod.ast.visitor.VoidVisitor

Packages that use VoidVisitor
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 VoidVisitor in kodkod.ast
 

Methods in kodkod.ast with parameters of type VoidVisitor
 void Variable.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void UnaryIntExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void UnaryExpression.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void SumExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void RelationPredicate.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void Relation.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void QuantifiedFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void ProjectExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void NotFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void Node.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void MultiplicityFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void IntToExprCast.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
abstract  void IntExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void IntConstant.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void IntComparisonFormula.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void IfIntExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void IfExpression.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void ExprToIntCast.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void Decls.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void Decl.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void ConstantFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void ConstantExpression.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void Comprehension.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void ComparisonFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void BinaryIntExpression.accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 void BinaryFormula.accept(VoidVisitor visitor)
          Accepts the given visitor.
 void BinaryExpression.accept(VoidVisitor visitor)
          Accepts the given visitor.
 

Uses of VoidVisitor in kodkod.ast.visitor
 

Classes in kodkod.ast.visitor that implement VoidVisitor
 class AbstractVoidVisitor
          Implements a depth first traversal of the kodkod AST.