Uses of Package
org.clafer.ir

Packages that use org.clafer.ir

Package	Description
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.
org.clafer.ir.analysis	This package provides various analysis and optimizations to perform on the IR.
org.clafer.ir.compiler	This package provides a compiler to translate IR to Choco.

Classes in org.clafer.ir used by org.clafer.ast.analysis

Class and Description
IrDomain Integer domain.

Classes in org.clafer.ir used by org.clafer.ast.compiler

Class and Description
IrBoolVar
IrIntVar
IrModule The compiled model in IR.
IrSetVar

Classes in org.clafer.ir used by org.clafer.ir

Class and Description
IrAbstractBool
IrAbstractInt
IrAbstractSet
IrAcyclic
IrAdd offset + foldl (+) addends
IrAllDifferent
IrAnd
IrArrayToSet
IrBoolChannel
IrBoolDomain Boolean domain.
IrBoolExpr An immutable expression that evaluates to a boolean.
IrBoolExprVisitor Dynamic dispatch for IR boolean expressions.
IrBoolVar
IrCard
IrCompare left `op` right + offset
IrCompare.Op
IrConstant
IrCount
IrDiv dividend / divisor
IrDomain Integer domain.
IrElement Returns array[index].
IrExpr An immutable expression.
IrFilterString
IrIfOnlyIf
IrIfThenElse
IrImplies
IrIntChannel
IrIntExpr An immutable expression that evaluates to an integer.
IrIntExprVisitor Dynamic dispatch for IR integer expressions.
IrIntVar
IrJoinFunction
IrJoinRelation
IrLone
IrMask
IrMember
IrMinus
IrModule The compiled model in IR.
IrMul multiplicant * multiplier
IrNot
IrNotImplies
IrNotMember
IrNotWithin
IrOffset
IrOne
IrOr
IrSelectN
IrSetDifference
IrSetExpr An immutable expression that evaluates to a set of integers.
IrSetExprVisitor Dynamic dispatch for IR set expressions.
IrSetIntersection
IrSetSum
IrSetTernary
IrSetTest
IrSetTest.Op
IrSetUnion
IrSetVar
IrSingleton
IrSortSets
IrSortStrings
IrSortStringsChannel
IrSubsetEq
IrTernary
IrUnreachable
IrUtil.Ordering
IrVar A variable.
IrWithin
IrXor

Classes in org.clafer.ir used by org.clafer.ir.analysis

Class and Description
IrBoolExpr An immutable expression that evaluates to a boolean.
IrExpr An immutable expression.
IrIntExpr An immutable expression that evaluates to an integer.
IrIntVar
IrModule The compiled model in IR.
IrSetVar

Classes in org.clafer.ir used by org.clafer.ir.compiler

Class and Description
IrBoolVar
IrIntVar
IrModule The compiled model in IR.
IrSetVar