kodkod.ast
Class ConstantExpression
java.lang.Object
kodkod.ast.Expression
kodkod.ast.LeafExpression
kodkod.ast.ConstantExpression
- All Implemented Interfaces:
- Node
public final class ConstantExpression
- extends LeafExpression
A constant valued expression.
- Author:
- Emina Torlak
- invariant:
Methods inherited from class kodkod.ast.Expression |
apply, apply, apply, closure, compose, compose, count, difference, eq, in, intersection, join, lone, no, one, override, product, project, reflexiveClosure, some, sum, transpose, union |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
accept
public <E,F,D,I> E accept(ReturnVisitor<E,F,D,I> visitor)
- Accepts the given visitor and returns the result.
- Specified by:
accept
in interface Node
- Specified by:
accept
in class Expression
- Returns:
- the result of being visited by the given visitor
- 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)