|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |