Module org.maxicp

Package org.maxicp.modeling.algebra.bool

Interface BoolExpression

All Superinterfaces:

Expression, IntExpression, Serializable

All Known Subinterfaces:

BoolVar, ConcreteBoolVar, CPBoolVar, SymbolicBoolExpression, SymbolicBoolVar

All Known Implementing Classes:

And, BoolVarImpl, CPBoolVarImpl, CPBoolVarIsEqual, EndAfter, EndBefore, EndBeforeStart, Eq, GreaterOrEq, InSet, IntervalStatus, IsNodeRequired, LessOrEq, Not, NotEq, Or, Present, StartAfter, StartBefore

public interface BoolExpression
extends IntExpression

Method Summary

Modifier and Type	Method	Description
boolean	evaluateBool()
default BoolVar	reify()

Methods inherited from interface org.maxicp.modeling.algebra.Expression

computeSubexpressions, getModelProxy, isFixed, subexpressions

Methods inherited from interface org.maxicp.modeling.algebra.integer.IntExpression

abs, contains, evaluate, fillArray, mapSubexpressions, max, min, minus, minus, plus, plus, show, size

Method Details

evaluateBool

boolean evaluateBool()
              throws VariableNotFixedException

Throws:

VariableNotFixedException

reify

default BoolVar reify()