Stay organized with collections
Save and categorize content based on your preferences.
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.