|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||
---|---|---|
|
Variable.accept(ReturnVisitor<E,F,D,I> visitor)
Returns true of o is a BinaryFormula with the same tree structure as this. |
|
|
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)) |
|
|
UnaryExpression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
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)) |
|
|
RelationPredicate.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
Relation.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
QuantifiedFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
ProjectExpression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
NotFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Returns the negation of this negation, which is this.formula. |
|
|
Node.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result of the visit (i.e. |
|
|
MultiplicityFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
IntToExprCast.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
abstract
|
IntExpression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result of the visit (i.e. |
|
|
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)) |
|
|
IntComparisonFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
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)) |
|
|
IfExpression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
abstract
|
Formula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
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
|
Expression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
Decls.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
Decl.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
ConstantFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
ConstantExpression.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
Comprehension.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
ComparisonFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
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)) |
|
|
BinaryFormula.accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |