Uses of Interface
org.clafer.ir.IrExpr

Packages that use IrExpr

Package	Description
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.

Uses of IrExpr in org.clafer.ir

Subinterfaces of IrExpr in org.clafer.ir

Modifier and Type	Interface and Description
interface	IrBoolExpr An immutable expression that evaluates to a boolean.
interface	IrIntExpr An immutable expression that evaluates to an integer.
interface	IrSetExpr An immutable expression that evaluates to a set of integers.

Classes in org.clafer.ir that implement IrExpr

Modifier and Type	Class and Description
class	IrAbstractInt
class	IrAbstractSet
class	IrAcyclic
class	IrAdd offset + foldl (+) addends
class	IrAllDifferent
class	IrAnd
class	IrArrayToSet
class	IrBoolChannel
class	IrBoolConstant
class	IrBoolVar
class	IrCard
class	IrCompare left `op` right + offset
class	IrCount
class	IrDiv dividend / divisor
class	IrElement Returns array[index].
class	IrFilterString
class	IrIfOnlyIf
class	IrIfThenElse
class	IrImplies
class	IrIntChannel
class	IrIntConstant
class	IrIntVar
class	IrJoinFunction
class	IrJoinRelation
class	IrLone
class	IrMask
class	IrMember
class	IrMinus
class	IrMul multiplicant * multiplier
class	IrNot
class	IrNotImplies
class	IrNotMember
class	IrNotWithin
class	IrOffset
class	IrOne
class	IrOr
class	IrSelectN
class	IrSetConstant
class	IrSetDifference
class	IrSetIntersection
class	IrSetSum
class	IrSetTernary
class	IrSetTest
class	IrSetUnion
class	IrSetVar
class	IrSingleton
class	IrSortSets
class	IrSortStrings
class	IrSortStringsChannel
class	IrSubsetEq
class	IrTernary
class	IrUnreachable
class	IrWithin
class	IrXor

Uses of IrExpr in org.clafer.ir.analysis

Methods in org.clafer.ir.analysis that return types with arguments of type IrExpr

Modifier and Type	Method and Description
static Set<IrExpr>	CommonSubexpression.findCommonSubexpressions(IrModule module)