Class Solver.IntegerCastInfo

  • Enclosing class:
    Solver

    public static class Solver.IntegerCastInfo
    extends java.lang.Object
    Holds semantic information stating that the 'expression' has been
    cast into 'variable' using the Var() method, and that
    'maintainer' is responsible for maintaining the equality between
    'variable' and 'expression'.
    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • IntegerCastInfo

        protected IntegerCastInfo​(long cPtr,
                                  boolean cMemoryOwn)
      • IntegerCastInfo

        public IntegerCastInfo()
    • Method Detail

      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object
      • delete

        public void delete()
      • setVariable

        public void setVariable​(IntVar value)
      • getVariable

        public IntVar getVariable()
      • setExpression

        public void setExpression​(IntExpr value)
      • getExpression

        public IntExpr getExpression()
      • setMaintainer

        public void setMaintainer​(Constraint value)
      • getMaintainer

        public Constraint getMaintainer()