Uses of Class
org.clafer.ir.IrBoolDomain

Packages that use IrBoolDomain

Package	Description
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.

Uses of IrBoolDomain in org.clafer.ir

Fields in org.clafer.ir declared as IrBoolDomain

Modifier and Type	Field and Description
static IrBoolDomain	Irs.BoolDomain
static IrBoolDomain	Irs.FalseDomain
static IrBoolDomain	Irs.TrueDomain Domain

Methods in org.clafer.ir that return IrBoolDomain

Modifier and Type	Method and Description
static IrBoolDomain	Irs.domain(boolean value)
IrBoolDomain	IrBoolVar.getDomain()
IrBoolDomain	IrAbstractBool.getDomain()
IrBoolDomain	IrBoolExpr.getDomain()
IrBoolDomain	IrBoolDomain.invert() Reverse the domain.
static IrBoolDomain	IrBoolDomain.valueOf(String name) Returns the enum constant of this type with the specified name.
static IrBoolDomain[]	IrBoolDomain.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

Constructor and Description
IrAbstractBool(IrBoolDomain domain)
IrAcyclic(IrIntExpr[] edges, IrBoolDomain domain)
IrFilterString(IrSetExpr set, int offset, IrIntExpr[] string, IrIntExpr[] result, IrBoolDomain domain)
IrIfThenElse(IrBoolExpr antecedent, IrBoolExpr consequent, IrBoolExpr alternative, IrBoolDomain domain)
IrNot(IrBoolExpr expr, IrBoolDomain domain)
IrSortSets(IrSetExpr[] sets, IrBoolDomain domain)
IrSortStringsChannel(IrIntExpr[][] strings, IrIntExpr[] ints, IrBoolDomain domain)
IrSubsetEq(IrSetExpr subset, IrSetExpr superset, IrBoolDomain domain)
IrUnreachable(IrIntExpr[] edges, int from, int to, IrBoolDomain domain)
IrXor(IrBoolExpr left, IrBoolExpr right, IrBoolDomain domain)