Lines Matching refs:disjunctive
482 single machine into a single disjunctive constraint.
485 better approach to solving disjunctive constraints we can use that instead,
493 …:caption: Model for job shop scheduling using ``disjunctive`` predicate (:download:`jobshop3.mzn <…
496 single: global constraint; disjunctive
498 The :mzn:`disjunctive`
502 time. We define the disjunctive constraint as a :index:`predicate <predicate; definition>` with
507 predicate disjunctive(array[int] of var int:s, array[int] of int:d);
509 We can use the disjunctive constraint to define the non-overlap of tasks as
511 We assume a definition for the :mzn:`disjunctive` predicate is given
512 by the file :download:`disjunctive.mzn <examples/disjunctive.mzn>` which is included in the model.
514 supports :mzn:`disjunctive` directly, it will include a file
515 :download:`disjunctive.mzn <examples/disjunctive.mzn>` in its globals directory (with contents
517 If the system we are using does not support disjunctive directly
519 :download:`disjunctive.mzn <examples/disjunctive.mzn>`.
524 :numref:`ex-disj` shows an implementation of :mzn:`disjunctive`.
526 (a) check that the arguments to :mzn:`disjunctive` make sense,
531 .. literalinclude:: examples/disjunctive.mzn
534 …:caption: Defining a ``disjunctive`` predicate using ``cumulative`` (:download:`disjunctive.mzn <e…