C++ Reference: class CastConstraint
Note: This documentation is automatically generated.
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.Method | |
---|---|
CastConstraint | Arguments: |
~CastConstraint | |
target_var | Return type: |