- objective, [1]
-
occurrence
-
occurs
-
operator
- optimization
- option type
-
Option type support
- '<', [1]
- '<=', [1]
- '>', [1]
- '>=', [1]
- 'not'
- absent, [1], [2], [3]
- bool2int
- bool_eq, [1], [2]
- deopt, [1], [2], [3]
- element, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11]
- exists
- forall
- int_eq
- int_ne
- max
- min
- occurs, [1], [2], [3]
- product
- sum
- ~*
- ~+
- ~-
- ~=
- option types
|
|