|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.IntExpression
public abstract class IntExpression
A Node whose value is an integer rather than a relational expression.
Method Summary | ||
---|---|---|
IntExpression |
abs()
Returns an IntExpression that represents the absolute value of this int expression. |
|
abstract
|
accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result of the visit (i.e. |
|
abstract void |
accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this). |
|
IntExpression |
and(IntExpression intexpr)
Returns an IntExpression that represents the bitwise AND of this and the given int node. |
|
IntExpression |
apply(UnaryIntExpression.Operator op)
Returns an expression that represents the application of the given unary operator to this integer expression. |
|
Formula |
compare(IntComparisonFormula.Operator op,
IntExpression intexpr)
Returns a formula comparing this and the given integer expression using the specified operatior. |
|
IntExpression |
compose(BinaryIntExpression.Operator op,
IntExpression intexpr)
Returns an expression that combines this and the given integer expression using the specified operatior. |
|
IntExpression |
divide(IntExpression intexpr)
Returns an IntExpression that represents the quotient of the division between this and the given int node. |
|
Formula |
eq(IntExpression intexpr)
Returns a formula stating that the given int expression and this have the same value. |
|
Formula |
gt(IntExpression intexpr)
Returns a formula stating that the value of this int expression is greater than the value of the given int expression The effect of this method is the same as calling this.compose(IntComparisonFormula.Operator.GT, intexpr). |
|
Formula |
gte(IntExpression intexpr)
Returns a formula stating that the value of this int expression is greater than or equal to the value of the given int expression The effect of this method is the same as calling this.compose(IntComparisonFormula.Operator.GTE, intexpr). |
|
Formula |
lt(IntExpression intexpr)
Returns a formula stating that the value of this int expression is less than the value of the given int expression The effect of this method is the same as calling this.compose(IntComparisonFormula.Operator.LT, intexpr). |
|
Formula |
lte(IntExpression intexpr)
Returns a formula stating that the value of this int expression is less than or equal to the value of the given int expression The effect of this method is the same as calling this.compose(IntComparisonFormula.Operator.LTE, intexpr). |
|
IntExpression |
minus(IntExpression intexpr)
Returns an IntExpression that represents the difference between this and the given int node. |
|
IntExpression |
modulo(IntExpression intexpr)
Returns an IntExpression that represents the remainder of the division between this and the given int node. |
|
IntExpression |
multiply(IntExpression intexpr)
Returns an IntExpression that represents the product of this and the given int node. |
|
IntExpression |
negate()
Returns an IntExpression that represents the negation of this int expression. |
|
IntExpression |
not()
Returns an IntExpression that represents the bitwise negation of this int expression. |
|
IntExpression |
or(IntExpression intexpr)
Returns an IntExpression that represents the bitwise OR of this and the given int node. |
|
IntExpression |
plus(IntExpression intexpr)
Returns an IntExpression that represents the sum of this and the given int node. |
|
IntExpression |
sha(IntExpression intexpr)
Returns an IntExpression that represents the right shift of this and the given int node, with sign extension. |
|
IntExpression |
shl(IntExpression intexpr)
Returns an IntExpression that represents the left shift of this by the given int node. |
|
IntExpression |
shr(IntExpression intexpr)
Returns an IntExpression that represents the right shift of this and the given int node, with zero extension. |
|
IntExpression |
signum()
Returns an IntExpression that represents the sign of this int expression. |
|
IntExpression |
sum(Decls decls)
Returns an integer expression that is the sum of all values that this integer expression can take given the provided declarations. |
|
Expression |
toExpression()
Returns an expression whose meaning is the singleton set containing the atom that represents the integer given by this integer expression. |
|
IntExpression |
xor(IntExpression intexpr)
Returns an IntExpression that represents the bitwise XOR of this and the given int node. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public final Formula eq(IntExpression intexpr)
public final Formula lt(IntExpression intexpr)
public final Formula lte(IntExpression intexpr)
public final Formula gt(IntExpression intexpr)
public final Formula gte(IntExpression intexpr)
public Formula compare(IntComparisonFormula.Operator op, IntExpression intexpr)
public final IntExpression sum(Decls decls)
public final IntExpression plus(IntExpression intexpr)
public final IntExpression minus(IntExpression intexpr)
public final IntExpression multiply(IntExpression intexpr)
public final IntExpression divide(IntExpression intexpr)
public final IntExpression modulo(IntExpression intexpr)
public final IntExpression and(IntExpression intexpr)
public final IntExpression or(IntExpression intexpr)
public final IntExpression xor(IntExpression intexpr)
public final IntExpression shl(IntExpression intexpr)
public final IntExpression shr(IntExpression intexpr)
public final IntExpression sha(IntExpression intexpr)
public final IntExpression compose(BinaryIntExpression.Operator op, IntExpression intexpr)
public final IntExpression negate()
public final IntExpression not()
public final IntExpression abs()
public final IntExpression signum()
public final IntExpression apply(UnaryIntExpression.Operator op)
public final Expression toExpression()
public abstract <E,F,D,I> I accept(ReturnVisitor<E,F,D,I> visitor)
accept
in interface Node
Node.accept(kodkod.ast.visitor.ReturnVisitor)
public abstract void accept(VoidVisitor visitor)
accept
in interface Node
Node.accept(kodkod.ast.visitor.VoidVisitor)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |