|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.IntExpression
kodkod.ast.ExprIntCast
public final class ExprIntCast
An IntExpression
representing the
cardinality of an Expression
or the
sum of all the integer atoms contained in the expression.
children = expression |
expression: Expression |
op: Op |
Nested Class Summary | |
---|---|
static class |
ExprIntCast.Operator
Represents an expression 'cast' operator. |
Method Summary | ||
---|---|---|
|
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)) |
|
void |
accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this). |
|
boolean |
equals(java.lang.Object o)
Returns true of o is a ExprIntCast with the same tree structure as this. |
|
Expression |
expression()
Returns this.expression. |
|
int |
hashCode()
|
|
ExprIntCast.Operator |
op()
Returns this.op. |
|
java.lang.String |
toString()
|
Methods inherited from class kodkod.ast.IntExpression |
---|
compare, compose, divide, eq, gt, gte, lt, lte, minus, multiply, plus, toExpression |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public Expression expression()
public ExprIntCast.Operator op()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public <E,F,D,I> I accept(ReturnVisitor<E,F,D,I> visitor)
accept
in interface Node
accept
in class IntExpression
IntExpression.accept(kodkod.ast.visitor.ReturnVisitor)
public void accept(VoidVisitor visitor)
accept
in interface Node
accept
in class IntExpression
IntExpression.accept(kodkod.ast.visitor.VoidVisitor)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |