Next: Slot constraints
Previous: Class expressions
Slot constraints can take concrete type expressions as well as class
expressions. A concrete type expression can be either:
Individual data values (e.g., the integer 123 or the string ``xyz'')
can also be used as slot fillers.
- One of the predicates min (written
), greater-than (written
), range (written
) and equal (written
- A conjunction of concrete type expressions, written
, a disjunction of concrete type expressions,
or a negated concrete type
expression, written .
- integer and string are also provided as abbreviations
for the expressions ((min 0) or (max 0)) and
((min ``A'') or (max ``A'')) respectively.