- objective, [1]
-
occurrence
-
occurs
-
operator
- optimization
- option type
-
Option type support
- '*', [1], [2], [3]
- '+', [1], [2], [3]
- '-', [1], [2], [3]
- '/', [1]
- '<', [1], [2], [3]
- '<=', [1], [2], [3]
- '>', [1], [2], [3]
- '>=', [1], [2], [3]
- 'div', [1]
- 'mod', [1]
- 'not'
- absent, [1], [2], [3], [4]
- bool2float
- bool2int
- bool_eq, [1], [2]
- bool_search, [1]
- deopt, [1], [2], [3], [4]
- element, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17]
- exists
- float_eq
- float_ne
- float_search, [1]
- forall
- int2float
- int_eq
- int_ne
- int_search, [1]
- max, [1]
- min, [1]
- occurs, [1], [2], [3], [4]
- product, [1], [2], [3]
- sum, [1], [2], [3]
- ~*, [1]
- ~+, [1]
- ~-, [1]
- ~=, [1]
- option types
-
outdomain_max
|
-
outdomain_median
-
outdomain_min
-
outdomain_random
- output, [1], [2]
-
output_array
- output_only
-
output_var
-
outputJSON
-
outputJSONParameters
|