Uses of Class
org.clafer.ir.IrBoolVar

Packages that use IrBoolVar

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.compiler	This package provides a compiler to translate IR to Choco.

Uses of IrBoolVar in org.clafer.ast.compiler

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

Modifier and Type	Method and Description
IrBoolVar	AstSolutionMap.getSoftVar(AstConstraint constraint) Returns the soft variable associated to the constraint.
IrBoolVar[]	AstSolutionMap.getSoftVars()

Methods in org.clafer.ast.compiler that return types with arguments of type IrBoolVar

Modifier and Type	Method and Description
Map<AstConstraint,IrBoolVar>	AstSolutionMap.getSoftVarsMap()

Uses of IrBoolVar in org.clafer.ir

Subclasses of IrBoolVar in org.clafer.ir

Modifier and Type	Class and Description
class	IrBoolConstant

Fields in org.clafer.ir declared as IrBoolVar

Modifier and Type	Field and Description
static IrBoolVar	Irs.False
static IrBoolVar	Irs.True Boolean

Methods in org.clafer.ir that return IrBoolVar

Modifier and Type	Method and Description
static IrBoolVar	IrUtil.asConstant(IrBoolVar b)
static IrBoolVar	Irs.bool(String name)
static IrBoolVar	Irs.constant(boolean value)
IrBoolVar	IrRewriter.visit(IrBoolVar ir, T a)

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

Modifier and Type	Method and Description
static IrBoolVar	IrUtil.asConstant(IrBoolVar b)
B	IrBoolExprVisitorAdapter.visit(IrBoolVar ir, A a)
B	IrBoolExprVisitor.visit(IrBoolVar ir, A a)
IrBoolVar	IrRewriter.visit(IrBoolVar ir, T a)

Uses of IrBoolVar in org.clafer.ir.compiler

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

Modifier and Type	Method and Description
boolean	IrSolutionMap.getBoolValue(IrBoolVar var)
boolean[]	IrSolutionMap.getBoolValues(IrBoolVar... vars)
Either<Boolean,solver.variables.BoolVar>	IrSolutionMap.getBoolVar(IrBoolVar var)
Either<Boolean,solver.variables.BoolVar>[]	IrSolutionMap.getBoolVars(IrBoolVar... vars)