kodkod.ast
Class IfIntExpression

java.lang.Object
  extended by kodkod.ast.IntExpression
      extended by kodkod.ast.IfIntExpression
All Implemented Interfaces:
Node

public final class IfIntExpression
extends IntExpression

An int expression whose value depends on the truth of a condition.

Author:
Emina Torlak
invariant:
children = condition + thenExpr + elseExpr
specfield:
condition: Formula
thenExpr: IntExpression
elseExpr: IntExpression

Method Summary
<E,F,D,I> I
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).
 Formula condition()
          Returns the if-condition.
 IntExpression elseExpr()
          Returns the else-expression.
 IntExpression thenExpr()
          Returns the then-expression.
 java.lang.String toString()
          Returns the string representation of this int expression.
 
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

accept

public <E,F,D,I> I 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))

Specified by:
accept in interface Node
Specified by:
accept in class IntExpression
Returns:
the result of being visited by the given visitor
See Also:
IntExpression.accept(kodkod.ast.visitor.ReturnVisitor)

accept

public void accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this).

Specified by:
accept in interface Node
Specified by:
accept in class IntExpression
See Also:
IntExpression.accept(kodkod.ast.visitor.VoidVisitor)

condition

public Formula condition()
Returns the if-condition.

Returns:
this.condition

thenExpr

public IntExpression thenExpr()
Returns the then-expression.

Returns:
this.thenExpr

elseExpr

public IntExpression elseExpr()
Returns the else-expression.

Returns:
this.elseExpr

toString

public java.lang.String toString()
Returns the string representation of this int expression.

Overrides:
toString in class java.lang.Object
Returns:
string representation of this int expression