Class CastConstraint


  • public class CastConstraint
    extends Constraint
    Cast constraints are special channeling constraints designed
    to keep a variable in sync with an expression. They are
    created internally when Var() is called on a subclass of IntExpr.
    • Constructor Detail

      • CastConstraint

        protected CastConstraint​(long cPtr,
                                 boolean cMemoryOwn)