Module org.maxicp

Package org.maxicp.modeling.symbolic

Interface SymbolicBoolVar

All Superinterfaces:

BoolExpression, BoolVar, Expression, IntExpression, IntVar, Serializable, SymbolicBoolExpression, SymbolicIntExpression, SymbolicIntVar, SymbolicVar, Var

All Known Implementing Classes:

BoolVarImpl, IntervalStatus, IsNodeRequired

public interface SymbolicBoolVar
extends SymbolicIntVar, SymbolicBoolExpression, BoolVar

Method Summary

Methods inherited from interface org.maxicp.modeling.algebra.bool.BoolExpression

reify

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

getModelProxy, subexpressions

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

mul, show

Methods inherited from interface org.maxicp.modeling.IntVar

computeSubexpressions, isFixed, mapSubexpressions

Methods inherited from interface org.maxicp.modeling.algebra.bool.SymbolicBoolExpression

defaultContains, defaultEvaluate, defaultEvaluateBool, defaultFillArray, defaultMax, defaultMin, defaultSize, evaluateBool

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

abs, contains, evaluate, fillArray, max, min, minus, minus, mul, plus, plus, size

Methods inherited from interface org.maxicp.modeling.Var

getModelProxy