Uses of Interface
org.clafer.ir.IrDomain

Packages that use IrDomain

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

Uses of IrDomain in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return IrDomain

Modifier and Type	Method and Description
IrDomain[]	Analysis.getPartialInts(AstRef ref)

Uses of IrDomain in org.clafer.ir

Classes in org.clafer.ir that implement IrDomain

Modifier and Type	Class and Description
class	IrBoolDomain Boolean domain.
class	IrBoundDomain A contiguous domain between a low and high bound.
class	IrEmptyDomain A domain of size 0.
class	IrEnumDomain A domain over explicitly defined values.

Fields in org.clafer.ir declared as IrDomain

Modifier and Type	Field and Description
static IrDomain	Irs.EmptyDomain
static IrDomain	Irs.OneDomain
static IrDomain	Irs.ZeroDomain
static IrDomain	Irs.ZeroOneDomain

Methods in org.clafer.ir that return IrDomain

Modifier and Type	Method and Description
static IrDomain	IrUtil.add(IrDomain domain, int value)
static IrDomain	Irs.boundDomain(int low, int high)
static IrDomain	IrUtil.boundHigh(IrDomain domain, int hb)
static IrDomain	IrUtil.boundLow(IrDomain domain, int lb)
static IrDomain	Irs.constantDomain(int value)
static IrDomain	IrUtil.difference(IrDomain minuend, IrDomain subtrahend)
static IrDomain	Irs.enumDomain(int... values)
static IrDomain	Irs.enumDomain(gnu.trove.TIntCollection values)
static IrDomain	Irs.enumDomain(gnu.trove.set.TIntSet values)
static IrDomain	Irs.fromToDomain(int from, int to)
IrDomain	IrSetExpr.getCard() Card or cardinality is all the possible size of the set.
IrDomain	IrAbstractSet.getCard() Card or cardinality is all the possible size of the set.
IrDomain	IrAbstractInt.getDomain() Domain cannot be empty.
IrDomain	IrIntExpr.getDomain() Domain cannot be empty.
IrDomain	IrSetExpr.getEnv() Env or envelope is the union of all possible values the set can be.
IrDomain	IrAbstractSet.getEnv() Env or envelope is the union of all possible values the set can be.
IrDomain	IrSetExpr.getKer() Ker or kernel is the intersection of all possible values the set can be
IrDomain	IrAbstractSet.getKer() Ker or kernel is the intersection of all possible values the set can be
IrDomain	IrNotWithin.getRange()
IrDomain	IrWithin.getRange()
static IrDomain	IrUtil.intersection(IrDomain d1, IrDomain d2)
static IrDomain	IrUtil.intersectionEnvs(IrSetExpr... sets)
static IrDomain	IrUtil.intersectionKers(IrSetExpr... sets)
static IrDomain	IrUtil.mask(IrDomain domain, int from, int to)
static IrDomain	IrUtil.minus(IrDomain domain)
static IrDomain	IrUtil.offset(IrDomain domain, int offset)
static IrDomain	IrUtil.remove(IrDomain domain, int value)
static IrDomain	IrUtil.union(IrDomain d1, IrDomain d2)
static IrDomain	IrUtil.unionEnvs(IrSetExpr... sets)
static IrDomain	IrUtil.unionKers(IrSetExpr... sets)

Methods in org.clafer.ir with parameters of type IrDomain

Modifier and Type	Method and Description
static IrDomain	IrUtil.add(IrDomain domain, int value)
static IrDomain	IrUtil.boundHigh(IrDomain domain, int hb)
static IrDomain	IrUtil.boundLow(IrDomain domain, int lb)
static IrSetVar	Irs.constant(IrDomain value)
static boolean	IrUtil.containsAll(int[] values, IrDomain domain)
static IrDomain	IrUtil.difference(IrDomain minuend, IrDomain subtrahend)
static IrIntVar	Irs.domainInt(String name, IrDomain domain)
static IrDomain	IrUtil.intersection(IrDomain d1, IrDomain d2)
static boolean	IrUtil.intersects(IrDomain d1, IrDomain d2)
static boolean	IrUtil.isSubsetOf(IrDomain sub, IrDomain sup)
static IrDomain	IrUtil.mask(IrDomain domain, int from, int to)
static IrDomain	IrUtil.minus(IrDomain domain)
static IrBoolExpr	Irs.notWithin(IrIntExpr value, IrDomain range)
static IrDomain	IrUtil.offset(IrDomain domain, int offset)
static IrDomain	IrUtil.remove(IrDomain domain, int value)
static IrSetVar	Irs.set(String name, IrDomain env)
static IrSetVar	Irs.set(String name, IrDomain env, IrDomain ker)
static IrSetVar	Irs.set(String name, IrDomain env, IrDomain ker, IrDomain card)
static IrDomain	IrUtil.union(IrDomain d1, IrDomain d2)
static IrBoolExpr	Irs.within(IrIntExpr value, IrDomain range)

Constructors in org.clafer.ir with parameters of type IrDomain

Constructor and Description
IrAbstractInt(IrDomain domain)
IrAbstractSet(IrDomain env, IrDomain ker, IrDomain card)
IrCount(int value, IrIntExpr[] array, IrDomain domain)
IrMinus(IrIntExpr expr, IrDomain domain)
IrSetSum(IrSetExpr set, IrDomain domain)
IrSetTernary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative, IrDomain env, IrDomain ker, IrDomain card)
IrTernary(IrBoolExpr antecedent, IrIntExpr consequent, IrIntExpr alternative, IrDomain domain)