org.clafer.ir

Interface IrExpr

All Known Subinterfaces:

IrBoolExpr, IrIntExpr, IrSetExpr

All Known Implementing Classes:

IrAbstractInt, IrAbstractSet, IrAcyclic, IrAdd, IrAllDifferent, IrAnd, IrArrayToSet, IrBoolChannel, IrBoolConstant, IrBoolVar, IrCard, IrCompare, IrCount, IrDiv, IrElement, IrFilterString, IrIfOnlyIf, IrIfThenElse, IrImplies, IrIntChannel, IrIntConstant, IrIntVar, IrJoinFunction, IrJoinRelation, IrLone, IrMask, IrMember, IrMinus, IrMul, IrNot, IrNotImplies, IrNotMember, IrNotWithin, IrOffset, IrOne, IrOr, IrSelectN, IrSetConstant, IrSetDifference, IrSetIntersection, IrSetSum, IrSetTernary, IrSetTest, IrSetUnion, IrSetVar, IrSingleton, IrSortSets, IrSortStrings, IrSortStringsChannel, IrSubsetEq, IrTernary, IrUnreachable, IrWithin, IrXor

public interface IrExpr

An immutable expression.

Author:

jimmy