org.clafer.ir

Interface IrIntExpr

All Superinterfaces:

IrExpr

All Known Subinterfaces:

IrBoolExpr

All Known Implementing Classes:

IrAbstractInt, IrAcyclic, IrAdd, IrAllDifferent, IrAnd, IrBoolChannel, IrBoolConstant, IrBoolVar, IrCard, IrCompare, IrCount, IrDiv, IrElement, IrFilterString, IrIfOnlyIf, IrIfThenElse, IrImplies, IrIntChannel, IrIntConstant, IrIntVar, IrLone, IrMember, IrMinus, IrMul, IrNot, IrNotImplies, IrNotMember, IrNotWithin, IrOne, IrOr, IrSelectN, IrSetSum, IrSetTest, IrSortSets, IrSortStrings, IrSortStringsChannel, IrSubsetEq, IrTernary, IrUnreachable, IrWithin, IrXor

public interface IrIntExpr
extends IrExpr

An immutable expression that evaluates to an integer.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(IrIntExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
IrDomain	getDomain() Domain cannot be empty.

Method Detail

getDomain

IrDomain getDomain()

Domain cannot be empty.

Returns:

the domain of values this expression can take

accept

<A,B> B accept(IrIntExprVisitor<A,B> visitor,
             A a)

Dynamic dispatch on the visitor.

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value