|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.IntExpression
kodkod.ast.IntConstant
public final class IntConstant
An integer constant (literal).
value: int |
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). |
|
static IntConstant |
constant(int value)
Returns an IntConstant corresponding to the given value. |
|
boolean |
equals(java.lang.Object o)
Return true if o is an IntConstant with the same value as this. |
|
int |
hashCode()
Return this.value |
|
java.lang.String |
toString()
Returns the string representation of this int constant. |
|
int |
value()
Returns this.value. |
Methods inherited from class kodkod.ast.IntExpression |
---|
abs, and, apply, compare, compose, divide, eq, gt, gte, lt, lte, minus, modulo, multiply, negate, not, or, plus, sha, shl, shr, signum, sum, toExpression, xor |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static IntConstant constant(int value)
public int value()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
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 |