Logo
2.2.1
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]
  • operator
    • Boolean
    • integer
    • relational
    • set
  • 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
  • outdomain_max
    • Annotations
  • outdomain_median
    • Annotations
  • outdomain_min
    • Annotations
  • outdomain_random
    • Annotations
  • output, [1], [2]
  • output_array
    • Annotations
  • output_only
    • Annotations
  • output_var
    • Annotations

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

Creative Commons License