R1159 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1159 / Generalization

Criterion is an Equivalence Criterion, Comparison Criterion, or Ranking Criterion

---

Every Criterion evaluates a single Modeled Attribute of a tuple or instance to yield a true or false result.

Each kind of Criterion relies on different input and comparison operations to make this determination.

Most if not all cases can be handled by this handful of Criterion classes though it is possible that there are some undiscovered classes.