Uses of Class
org.clafer.ir.IrSetVar

Packages that use IrSetVar

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

Uses of IrSetVar in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler that return IrSetVar

Modifier and Type	Method and Description
IrSetVar[]	AstSolutionMap.getSiblingVars(AstClafer clafer) Returns the sibling variables associated with the Clafer.

Uses of IrSetVar in org.clafer.ir

Subclasses of IrSetVar in org.clafer.ir

Modifier and Type	Class and Description
class	IrSetConstant

Fields in org.clafer.ir declared as IrSetVar

Modifier and Type	Field and Description
static IrSetVar	Irs.EmptySet

Methods in org.clafer.ir that return IrSetVar

Modifier and Type	Method and Description
static IrSetVar	IrUtil.asConstant(IrSetVar s)
static IrSetVar	Irs.constant(int[] value)
static IrSetVar	Irs.constant(IrDomain value)
static IrSetVar	Irs.constant(gnu.trove.TIntCollection value)
static IrSetVar	Irs.constant(gnu.trove.set.TIntSet value)
static IrSetVar	Irs.set(String name, int[] env)
static IrSetVar	Irs.set(String name, int[] env, int[] ker)
static IrSetVar	Irs.set(String name, int[] env, int lowKer, int highKer)
static IrSetVar	Irs.set(String name, int lowEnv, int highEnv) Set
static IrSetVar	Irs.set(String name, int lowEnv, int highEnv, int[] ker)
static IrSetVar	Irs.set(String name, int lowEnv, int highEnv, int lowKer, int highKer)
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)
IrSetVar	IrRewriter.visit(IrSetVar ir, T a)

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

Modifier and Type	Method and Description
static IrSetVar	IrUtil.asConstant(IrSetVar s)
B	IrSetExprVisitor.visit(IrSetVar ir, A a)
IrSetVar	IrRewriter.visit(IrSetVar ir, T a)

Uses of IrSetVar in org.clafer.ir.analysis

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

Modifier and Type	Method and Description
static Triple<Map<IrIntVar,IrIntVar>,Map<IrSetVar,IrSetVar>,IrModule>	Coalescer.coalesce(IrModule module)
static Triple<Map<IrIntVar,IrIntVar>,Map<IrSetVar,IrSetVar>,IrModule>	Coalescer.coalesce(IrModule module)
static Pair<IrIntExpr,IrSetVar>	AnalysisUtil.getAssignCardinality(IrBoolExpr expr)
static Pair<IrIntExpr,IrSetVar>	AnalysisUtil.getAssignCardinality(IrIntExpr left, IrIntExpr right)

Uses of IrSetVar in org.clafer.ir.compiler

Methods in org.clafer.ir.compiler with parameters of type IrSetVar

Modifier and Type	Method and Description
int[]	IrSolutionMap.getSetValue(IrSetVar var)
int[][]	IrSolutionMap.getSetValues(IrSetVar... vars)
Either<int[],solver.variables.SetVar>	IrSolutionMap.getSetVar(IrSetVar var)
Either<int[],solver.variables.SetVar>[]	IrSolutionMap.getSetVars(IrSetVar... vars)