Logo
2.4.3
The MiniZinc Handbook
  • 1. Overview
  • 2. A MiniZinc Tutorial
  • 3. User Manual
  • 4. Reference Manual
The MiniZinc Handbook
  • Docs »
  • Index

Index – O

  • objective, [1]
  • occurrence
    • Annotations
  • occurs
    • Option type support, [1], [2], [3], [4]
  • operator
    • Boolean
    • integer
    • relational
    • set
  • 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'
    • ~*, [1]
    • ~+, [1]
    • ~-, [1]
    • ~=, [1]
    • 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]
  • option types
  • outdomain_max
    • Annotations
  • outdomain_median
    • Annotations
  • outdomain_min
    • Annotations
  • outdomain_random
    • Annotations
  • output, [1], [2]
  • output_array
    • Annotations
  • output_only
    • Annotations
  • output_var
    • Annotations
  • outputJSON
    • Builtins, [1]
  • outputJSONParameters
    • Builtins

© Copyright 2016, 2017, 2018, Peter J. Stuckey, Kim Marriott, Guido Tack

Creative Commons License