R12 - modelint/types GitHub Wiki

R1 / Generalization

Constraint is a Regular Expression, Integer Range, Rational Range, Boolean Symbol Pair, Symbol Set or General Rule

---

When we constrain the set of values that may be assigned to a Component, we are typically choosing a constraint method that is compatible with some Base Type.

If the Base Type is String, for example, we would constrain it with a Regular Expression. An Integer would be constrained by an numeric range.