Uses of Interface org.clafer.ir.IrBoolExpr (chocosolver 0.1-SNAPSHOT API)

Packages that use IrBoolExpr
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 IrBoolExpr in org.clafer.ir

Classes in org.clafer.ir that implement IrBoolExpr
Modifier and Type	Class and Description
`class`	`IrAcyclic`
`class`	`IrAllDifferent`
`class`	`IrAnd`
`class`	`IrBoolChannel`
`class`	`IrBoolConstant`
`class`	`IrBoolVar`
`class`	`IrCompare` left `op` right + offset
`class`	`IrFilterString`
`class`	`IrIfOnlyIf`
`class`	`IrIfThenElse`
`class`	`IrImplies`
`class`	`IrIntChannel`
`class`	`IrLone`
`class`	`IrMember`
`class`	`IrNot`
`class`	`IrNotImplies`
`class`	`IrNotMember`
`class`	`IrNotWithin`
`class`	`IrOne`
`class`	`IrOr`
`class`	`IrSelectN`
`class`	`IrSetTest`
`class`	`IrSortSets`
`class`	`IrSortStrings`
`class`	`IrSortStringsChannel`
`class`	`IrSubsetEq`
`class`	`IrUnreachable`
`class`	`IrWithin`
`class`	`IrXor`

Methods in org.clafer.ir that return IrBoolExpr
Modifier and Type	Method and Description
`static IrBoolExpr`	Irs.`acyclic(IrIntExpr[] edges)`
`static IrBoolExpr`	Irs.`allDifferent(IrIntExpr[] ints)`
`static IrBoolExpr`	Irs.`and(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`and(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`boolChannel(IrBoolExpr[] bools, IrSetExpr set)`
`static IrBoolExpr`	Irs.`compare(int left, IrCompare.Op op, IrIntExpr right)`
`static IrBoolExpr`	Irs.`compare(IrIntExpr left, IrCompare.Op op, int right)`
`static IrBoolExpr`	Irs.`compare(IrIntExpr left, IrCompare.Op op, IrIntExpr right)`
`static IrBoolExpr`	Irs.`equal(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`equal(IrIntExpr[] left, IrIntExpr[] right)`
`static IrBoolExpr`	Irs.`equal(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`equal(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`equal(IrSetExpr left, IrSetExpr right)`
`static IrBoolExpr`	Irs.`equality(IrSetExpr left, IrSetTest.Op op, IrSetExpr right)`
`static IrBoolExpr`	Irs.`filterString(IrSetExpr set, int offset, IrIntExpr[] string, IrIntExpr[] result)`
`static IrBoolExpr`	Irs.`filterString(IrSetExpr set, IrIntExpr[] string, IrIntExpr[] result)`
`IrBoolExpr`	IrIfThenElse.`getAlternative()`
`IrBoolExpr`	IrImplies.`getAntecedent()`
`IrBoolExpr`	IrSetTernary.`getAntecedent()`
`IrBoolExpr`	IrIfThenElse.`getAntecedent()`
`IrBoolExpr`	IrNotImplies.`getAntecedent()`
`IrBoolExpr`	IrTernary.`getAntecedent()`
`IrBoolExpr[]`	IrBoolChannel.`getBools()`
`IrBoolExpr[]`	IrSelectN.`getBools()`
`IrBoolExpr`	IrImplies.`getConsequent()`
`IrBoolExpr`	IrIfThenElse.`getConsequent()`
`IrBoolExpr`	IrNotImplies.`getConsequent()`
`IrBoolExpr`	IrNot.`getExpr()`
`IrBoolExpr`	IrXor.`getLeft()`
`IrBoolExpr`	IrIfOnlyIf.`getLeft()`
`IrBoolExpr[]`	IrAnd.`getOperands()`
`IrBoolExpr[]`	IrOr.`getOperands()`
`IrBoolExpr[]`	IrLone.`getOperands()`
`IrBoolExpr[]`	IrOne.`getOperands()`
`IrBoolExpr`	IrXor.`getRight()`
`IrBoolExpr`	IrIfOnlyIf.`getRight()`
`static IrBoolExpr`	Irs.`greaterThan(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`greaterThan(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`greaterThan(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`greaterThanEqual(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`greaterThanEqual(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`greaterThanEqual(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`ifOnlyIf(IrBoolExpr left, IrBoolExpr right)`
`static IrBoolExpr`	Irs.`ifThenElse(IrBoolExpr antecedent, IrBoolExpr consequent, IrBoolExpr alternative)`
`static IrBoolExpr`	Irs.`implies(IrBoolExpr antecedent, IrBoolExpr consequent)`
`static IrBoolExpr`	Irs.`intChannel(IrIntExpr[] ints, IrSetExpr[] sets)`
`static IrBoolExpr`	Irs.`lessThan(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`lessThan(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`lessThan(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`lessThanEqual(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`lessThanEqual(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`lessThanEqual(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`lone(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`lone(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`member(IrIntExpr element, IrSetExpr set)`
`IrBoolExpr`	IrImplies.`negate()`
`IrBoolExpr`	IrAnd.`negate()`
`IrBoolExpr`	IrNotWithin.`negate()`
`IrBoolExpr`	IrIntChannel.`negate()`
`IrBoolExpr`	IrSortStrings.`negate()`
`IrBoolExpr`	IrSortStringsChannel.`negate()`
`IrBoolExpr`	IrOr.`negate()`
`IrBoolExpr`	IrUnreachable.`negate()`
`IrBoolExpr`	IrBoolVar.`negate()`
`IrBoolExpr`	IrIfThenElse.`negate()`
`IrBoolExpr`	IrNotImplies.`negate()`
`IrBoolExpr`	IrBoolChannel.`negate()`
`IrBoolExpr`	IrNotMember.`negate()`
`IrBoolExpr`	IrXor.`negate()`
`IrBoolExpr`	IrSubsetEq.`negate()`
`IrBoolExpr`	IrSortSets.`negate()`
`IrBoolExpr`	IrAllDifferent.`negate()`
`IrBoolExpr`	IrNot.`negate()`
`IrBoolExpr`	IrIfOnlyIf.`negate()`
`IrBoolExpr`	IrMember.`negate()`
`IrBoolExpr`	IrCompare.`negate()`
`IrBoolExpr`	IrSetTest.`negate()`
`IrBoolExpr`	IrLone.`negate()`
`IrBoolExpr`	IrOne.`negate()`
`IrBoolExpr`	IrBoolExpr.`negate()` The negated expression is true if and only if this expression is false.
`IrBoolExpr`	IrWithin.`negate()`
`IrBoolExpr`	IrFilterString.`negate()`
`IrBoolExpr`	IrAcyclic.`negate()`
`IrBoolExpr`	IrSelectN.`negate()`
`static IrBoolExpr`	Irs.`not(IrBoolExpr proposition)`
`static IrBoolExpr`	Irs.`notEqual(int left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`notEqual(IrIntExpr left, int right)`
`static IrBoolExpr`	Irs.`notEqual(IrIntExpr left, IrIntExpr right)`
`static IrBoolExpr`	Irs.`notEqual(IrSetExpr left, IrSetExpr right)`
`static IrBoolExpr`	Irs.`notImplies(IrBoolExpr antecedent, IrBoolExpr consequent)`
`static IrBoolExpr`	Irs.`notMember(IrIntExpr element, IrSetExpr set)`
`static IrBoolExpr`	Irs.`notWithin(IrIntExpr value, IrDomain range)`
`static IrBoolExpr`	Irs.`one(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`one(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`or(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`or(IrBoolExpr... operands)`
`IrBoolExpr[]`	IrRewriter.`rewrite(IrBoolExpr[] exprs, T t)`
`IrBoolExpr`	IrRewriter.`rewrite(IrBoolExpr expr, T t)`
`static IrBoolExpr`	Irs.`selectN(IrBoolExpr[] bools, IrIntExpr n)`
`static IrBoolExpr`	Irs.`sort(IrIntExpr... array)`
`static IrBoolExpr`	Irs.`sort(IrIntExpr[]... strings)`
`static IrBoolExpr`	Irs.`sort(IrSetExpr... sets)`
`static IrBoolExpr`	Irs.`sortChannel(IrIntExpr[][] strings, IrIntExpr[] ints)`
`static IrBoolExpr`	Irs.`sortStrict(IrIntExpr... array)`
`static IrBoolExpr`	Irs.`sortStrict(IrIntExpr[]... strings)`
`static IrBoolExpr`	Irs.`subsetEq(IrSetExpr subset, IrSetExpr superset)`
`static IrBoolExpr`	Irs.`unreachable(IrIntExpr[] edges, int from, int to)`
`IrBoolExpr`	IrRewriter.`visit(IrAllDifferent ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrAnd ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrBoolChannel ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrCompare ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrFilterString ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrIfOnlyIf ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrIfThenElse ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrImplies ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrIntChannel ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrLone ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrMember ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrNotImplies ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrNotMember ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrNot ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrNotWithin ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrOne ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrOr ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSelectN ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSetTest ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSortSets ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSortStringsChannel ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSortStrings ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrSubsetEq ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrWithin ir, T a)`
`IrBoolExpr`	IrRewriter.`visit(IrXor ir, T a)`
`static IrBoolExpr`	Irs.`within(IrIntExpr value, IrDomain range)`
`static IrBoolExpr`	Irs.`xor(IrBoolExpr left, IrBoolExpr right)`

Methods in org.clafer.ir that return types with arguments of type IrBoolExpr
Modifier and Type	Method and Description
`List<IrBoolExpr>`	IrModule.`getConstraints()`

Methods in org.clafer.ir with parameters of type IrBoolExpr
Modifier and Type	Method and Description
`IrModule`	IrModule.`addConstraint(IrBoolExpr expr)`
`IrModule`	IrModule.`addConstraints(IrBoolExpr... exprs)`
`static IrBoolExpr`	Irs.`and(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`boolChannel(IrBoolExpr[] bools, IrSetExpr set)`
`static Boolean`	IrUtil.`getConstant(IrBoolExpr b)`
`static IrBoolExpr`	Irs.`ifOnlyIf(IrBoolExpr left, IrBoolExpr right)`
`static IrBoolExpr`	Irs.`ifThenElse(IrBoolExpr antecedent, IrBoolExpr consequent, IrBoolExpr alternative)`
`static IrBoolExpr`	Irs.`implies(IrBoolExpr antecedent, IrBoolExpr consequent)`
`static boolean`	IrUtil.`isConstant(IrBoolExpr b)`
`static boolean`	IrUtil.`isFalse(IrBoolExpr b)`
`static boolean`	IrUtil.`isTrue(IrBoolExpr b)`
`static IrBoolExpr`	Irs.`lone(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`not(IrBoolExpr proposition)`
`static IrBoolExpr`	Irs.`notImplies(IrBoolExpr antecedent, IrBoolExpr consequent)`
`static IrBoolExpr`	Irs.`one(IrBoolExpr... operands)`
`static IrBoolExpr`	Irs.`or(IrBoolExpr... operands)`
`IrBoolExpr[]`	IrRewriter.`rewrite(IrBoolExpr[] exprs, T t)`
`IrBoolExpr`	IrRewriter.`rewrite(IrBoolExpr expr, T t)`
`static IrBoolExpr`	Irs.`selectN(IrBoolExpr[] bools, IrIntExpr n)`
`static IrIntExpr`	Irs.`ternary(IrBoolExpr antecedent, IrIntExpr consequent, IrIntExpr alternative)`
`static IrSetExpr`	Irs.`ternary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative)`
`static IrBoolExpr`	Irs.`xor(IrBoolExpr left, IrBoolExpr right)`

Method parameters in org.clafer.ir with type arguments of type IrBoolExpr
Modifier and Type	Method and Description
`IrModule`	IrModule.`addConstraints(Iterable<? extends IrBoolExpr> exprs)`
`static IrBoolExpr`	Irs.`and(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`lone(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`one(Collection<? extends IrBoolExpr> operands)`
`static IrBoolExpr`	Irs.`or(Collection<? extends IrBoolExpr> operands)`

Constructors in org.clafer.ir with parameters of type IrBoolExpr
Constructor and Description
`IrIfThenElse(IrBoolExpr antecedent, IrBoolExpr consequent, IrBoolExpr alternative, IrBoolDomain domain)`
`IrNot(IrBoolExpr expr, IrBoolDomain domain)`
`IrSetTernary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative, IrDomain env, IrDomain ker, IrDomain card)`
`IrTernary(IrBoolExpr antecedent, IrIntExpr consequent, IrIntExpr alternative, IrDomain domain)`
`IrXor(IrBoolExpr left, IrBoolExpr right, IrBoolDomain domain)`

Uses of IrBoolExpr in org.clafer.ir.analysis

Methods in org.clafer.ir.analysis with parameters of type IrBoolExpr
Modifier and Type	Method and Description
`static Pair<IrIntExpr,IrSetVar>`	AnalysisUtil.`getAssignCardinality(IrBoolExpr expr)`

Uses of Interfaceorg.clafer.ir.IrBoolExpr

Uses of IrBoolExpr in org.clafer.ir

Uses of IrBoolExpr in org.clafer.ir.analysis

Uses of Interface
org.clafer.ir.IrBoolExpr