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

      protected CastConstraint​(long cPtr, boolean cMemoryOwn)
  • Method Details