Module org.maxicp

Interface IntVar

All Superinterfaces:
Expression, IntExpression, Serializable, Var
All Known Subinterfaces:
BoolVar, ConcreteBoolVar, ConcreteIntVar, CPBoolVar, CPIntVar, SymbolicBoolVar, SymbolicIntVar
All Known Implementing Classes:
BoolVarImpl, CPBoolVarImpl, CPBoolVarIsEqual, CPIntVarConstant, CPIntVarImpl, CPIntVarViewMul, CPIntVarViewOffset, CPIntVarViewOpposite, IntervalStatus, IntVarRangeImpl, IntVarSetImpl, IsNodeRequired

public interface IntVar extends Var, IntExpression
  • Method Details

    • isFixed

      default boolean isFixed()
      Description copied from interface: Expression
      True if the expression is fixed
      Specified by:
      isFixed in interface Expression
    • mapSubexpressions

      default IntVar mapSubexpressions(Function<Expression,Expression> f)
      Description copied from interface: Expression
      Apply a function on all sub-expressions of this expression and returns a new expression of the same type. This function should return a value that is of the same class as the object that was given to it.
      Specified by:
      mapSubexpressions in interface Expression
      Specified by:
      mapSubexpressions in interface IntExpression
    • computeSubexpressions

      default Collection<Expression> computeSubexpressions()
      Description copied from interface: Expression
      Should be implemented by all subclasses, but not used directly. Use subexpressions() instead, which is a cached version of this. Returns a collection that contains all sub-expressions of this expression. It should not be modified. In practice, it should actually be unmutable or a copy.
      Specified by:
      computeSubexpressions in interface Expression