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 Details

    • CastConstraint

      public CastConstraint(long cPtr, boolean cMemoryOwn)
  • Method Details