Uses of Interface
org.maxicp.modeling.algebra.bool.BoolExpression

Packages that use BoolExpression

Package	Description
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling	Symbolic Modeling API
org.maxicp.modeling.algebra.bool	Symbolic modeling over boolean variables
org.maxicp.modeling.algebra.integer	Symbolic modeling over integer variables
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.modeling.constraints	Symbolic constraints
org.maxicp.modeling.symbolic	Symbolic modeling of integer variables and objective functions

Uses of BoolExpression in org.maxicp.cp.engine.core

Subinterfaces of BoolExpression in org.maxicp.cp.engine.core

Modifier and Type	Interface	Description
interface	CPBoolVar	Boolean variable, that can be used as a 0-1 IntVar.

Classes in org.maxicp.cp.engine.core that implement BoolExpression

Modifier and Type	Class	Description
class	CPBoolVarImpl
class	CPBoolVarIsEqual

Uses of BoolExpression in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling with parameters of type BoolExpression

Modifier and Type	Method	Description
ConcreteBoolVar	ConcreteCPModel.getConcreteVar(BoolExpression expr)
CPBoolVar	ConcreteCPModel.getCPVar(BoolExpression v)
CPBoolVar[]	ConcreteCPModel.getCPVar(BoolExpression[] v)

Uses of BoolExpression in org.maxicp.modeling

Subinterfaces of BoolExpression in org.maxicp.modeling

Modifier and Type	Interface	Description
interface	BoolVar

Methods in org.maxicp.modeling that return BoolExpression

Modifier and Type	Method	Description
static BoolExpression	Factory.and(BoolExpression... t)
static BoolExpression	Factory.endAfter(IntervalVar intervalVar, int value)
static BoolExpression	Factory.endAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.endBefore(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.endBeforeStart(IntervalVar a, IntervalVar b)
static BoolExpression	Factory.eq(int a, IntExpression b)
static BoolExpression	Factory.eq(IntExpression a, int b)
static BoolExpression	Factory.eq(IntExpression a, IntExpression b)
static BoolExpression	Factory.ge(int a, IntExpression b)
static BoolExpression	Factory.ge(IntExpression a, int b)
static BoolExpression	Factory.ge(IntExpression a, IntExpression b)
static BoolExpression	Factory.gt(int a, IntExpression b)
static BoolExpression	Factory.gt(IntExpression a, int b)
static BoolExpression	Factory.gt(IntExpression a, IntExpression b)
static BoolExpression	Factory.implies(BoolExpression a, BoolExpression b)	Returns the logical implication of a and b
static BoolExpression	Factory.le(int a, IntExpression b)
static BoolExpression	Factory.le(IntExpression a, int b)
static BoolExpression	Factory.le(IntExpression a, IntExpression b)
static BoolExpression	Factory.lt(int a, IntExpression b)
static BoolExpression	Factory.lt(IntExpression a, int b)
static BoolExpression	Factory.lt(IntExpression a, IntExpression b)
static BoolExpression	Factory.neq(int a, IntExpression b)
static BoolExpression	Factory.neq(IntExpression a, int b)
static BoolExpression	Factory.neq(IntExpression a, IntExpression b)
static BoolExpression	Factory.not(BoolExpression a)
static BoolExpression	Factory.or(BoolExpression... t)
static BoolExpression	Factory.present(IntervalVar var)
static BoolExpression	Factory.startAfter(IntervalVar intervalVar, int value)
static BoolExpression	Factory.startAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.startBefore(IntervalVar intervalVar, int value)
static BoolExpression	Factory.startBefore(IntervalVar intervalVar, IntExpression value)

Methods in org.maxicp.modeling with parameters of type BoolExpression

Modifier and Type	Method	Description
default void	ModelProxy.add(BoolExpression c)
default void	ModelProxy.add(BoolExpression c, boolean enforceFixPoint)
static BoolExpression	Factory.and(BoolExpression... t)
static BoolExpression	Factory.implies(BoolExpression a, BoolExpression b)	Returns the logical implication of a and b
static IntExpression	Factory.mul(IntExpression x, BoolExpression b)
static BoolExpression	Factory.not(BoolExpression a)
static BoolExpression	Factory.or(BoolExpression... t)

Uses of BoolExpression in org.maxicp.modeling.algebra.bool

Subinterfaces of BoolExpression in org.maxicp.modeling.algebra.bool

Modifier and Type	Interface	Description
interface	SymbolicBoolExpression

Classes in org.maxicp.modeling.algebra.bool that implement BoolExpression

Modifier and Type	Class	Description
final record	And
final record	EndAfter
final record	EndBefore
final record	EndBeforeStart
final record	Eq
final record	GreaterOrEq
final record	InSet
final record	LessOrEq
final record	Not
final record	NotEq
final record	Or
final record	Present
final record	StartAfter
final record	StartBefore	Boolean variable that represents if an interval is executed before a given value

Methods in org.maxicp.modeling.algebra.bool that return BoolExpression

Modifier and Type	Method	Description
BoolExpression	Not.a()	Returns the value of the a record component.

Methods in org.maxicp.modeling.algebra.bool that return types with arguments of type BoolExpression

Modifier and Type	Method	Description
ImmutableSet<BoolExpression>	And.exprs()	Returns the value of the exprs record component.
ImmutableSet<BoolExpression>	Or.exprs()	Returns the value of the exprs record component.

Constructors in org.maxicp.modeling.algebra.bool with parameters of type BoolExpression

Modifier	Constructor	Description
	And(BoolExpression[] exprs)
	Not(BoolExpression a)	Creates an instance of a Not record class.
	Or(BoolExpression[] exprs)

Constructor parameters in org.maxicp.modeling.algebra.bool with type arguments of type BoolExpression

Modifier	Constructor	Description
	And(ImmutableSet<BoolExpression> exprs)	Creates an instance of a And record class.
	Or(ImmutableSet<BoolExpression> exprs)	Creates an instance of a Or record class.

Uses of BoolExpression in org.maxicp.modeling.algebra.integer

Methods in org.maxicp.modeling.algebra.integer that return BoolExpression

Modifier and Type	Method	Description
BoolExpression	MulBinary.b()	Returns the value of the b record component.

Constructors in org.maxicp.modeling.algebra.integer with parameters of type BoolExpression

Modifier	Constructor	Description
	MulBinary(IntExpression x, BoolExpression b)	Creates an instance of a MulBinary record class.

Uses of BoolExpression in org.maxicp.modeling.concrete

Subinterfaces of BoolExpression in org.maxicp.modeling.concrete

Modifier and Type	Interface	Description
interface	ConcreteBoolVar

Methods in org.maxicp.modeling.concrete with parameters of type BoolExpression

Modifier and Type	Method	Description
ConcreteBoolVar	ConcreteModel.getConcreteVar(BoolExpression expr)
ConcreteBoolVar	ConcreteModelProxy.getConcreteVar(BoolExpression expr)

Uses of BoolExpression in org.maxicp.modeling.constraints

Methods in org.maxicp.modeling.constraints that return BoolExpression

Modifier and Type	Method	Description
BoolExpression	ExpressionIsTrue.expr()	Returns the value of the expr record component.

Constructors in org.maxicp.modeling.constraints with parameters of type BoolExpression

Modifier	Constructor	Description
	ExpressionIsTrue(BoolExpression expr)	Creates an instance of a ExpressionIsTrue record class.

Uses of BoolExpression in org.maxicp.modeling.symbolic

Subinterfaces of BoolExpression in org.maxicp.modeling.symbolic

Modifier and Type	Interface	Description
interface	SymbolicBoolVar

Classes in org.maxicp.modeling.symbolic that implement BoolExpression

Modifier and Type	Class	Description
class	BoolVarImpl
class	IntervalStatus
class	IsNodeRequired