Home
last modified time | relevance | path

Searched refs:disjunctive (Results 1 – 25 of 537) sorted by relevance

12345678910>>...22

/dports/math/minizinc/libminizinc-2.5.5/docs/chi/
H A Dpredicates.rst377 :caption: 使用 ``disjunctive`` 谓词的车间作业调度问题模型 (:download:`jobshop3.mzn <examples/jobshop3.mzn>`).
380 single: global constraint; disjunctive
382 约束 :mzn:`disjunctive` 获取每个任务的开始时间数组以及它们的持续时间数组，确保每次只有一个任务是被激活的。
387 predicate disjunctive(array[int] of var int:s, array[int] of int:d);
390 我们假设 :mzn:`disjunctive` 谓词的定义已经在模型中引用的文件 :download:`disjunctive.mzn <examples/disjunctive.mzn>` 中给出。
392 如果下层的系统直接支持 :mzn:`disjunctive` ，则会在它的全局目录下包含一个 :download:`disjunctive.mzn <examples/disjunctive.mzn…
393 如果我们使用的系统不直接支持析取，通过创建文件 :download:`disjunctive.mzn <examples/disjunctive.mzn>` ，我们可以给出我们自己的定义。最简单的实…
394 一个更好的实现是利用全局约束 :mzn:`cumulative` ，假如下层求解器支持它的话。 :numref:`ex-disj` 给出了一个 :mzn:`disjunctive` 的实现。
395 注意我们使用 :mzn:`index_set` 反射函数来（a）检查 :mzn:`disjunctive` 的参数是有意义的，以及（b）构建 :mzn:`cumulative` 的合适大小的资源利用…
397 .. literalinclude:: examples/disjunctive.mzn
[all …]
/dports/editors/libreoffice/libreoffice-7.2.6.2/offapi/com/sun/star/form/runtime/
H A DXFilterControllerListener.idl39 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> in which the
49 …/** is fired when a <em>disjunctive term</em> was removed from the filter of the filter controller.
51 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> which was
59 /** is fired when a <em>disjunctive term</em> was added to the filter of the filter controller.
61 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> which was
H A DXFilterController.idl45 …<p>The filter maintained by a filter controller is, logically, a disjunctive normal form of an SQL…
51 …ring one session of the form based filter. On the other hand, <em>m</em>, the number of disjunctive
58 …filter can be displayed, in particular, only one <em>disjunctive term</em> can be displayed at a t…
89 …/** is the number of <em>disjunctive terms</em> of the filter expression represented by the form b…
107 …denotes the <em>disjunctive term</em> in which the expression is to be set. Must be greater than o…
141 …<p>Each element of the returned sequence is a <em>disjunctive term</em>, having exactly #FilterCom…
147 /** removes a given <em>disjunctive term</em>
160 /** appends an empty disjunctive term to the list of terms.
/dports/editors/libreoffice6/libreoffice-6.4.7.2/offapi/com/sun/star/form/runtime/
H A DXFilterControllerListener.idl39 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> in which the
49 …/** is fired when a <em>disjunctive term</em> was removed from the filter of the filter controller.
51 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> which was
59 /** is fired when a <em>disjunctive term</em> was added to the filter of the filter controller.
61 <p>FilterEvent::DisjunctiveTerm is the index of the <em>disjunctive term</em> which was
H A DXFilterController.idl45 …<p>The filter maintained by a filter controller is, logically, a disjunctive normal form of an SQL…
51 …ring one session of the form based filter. On the other hand, <em>m</em>, the number of disjunctive
58 …filter can be displayed, in particular, only one <em>disjunctive term</em> can be displayed at a t…
89 …/** is the number of <em>disjunctive terms</em> of the filter expression represented by the form b…
107 …denotes the <em>disjunctive term</em> in which the expression is to be set. Must be greater than o…
141 …<p>Each element of the returned sequence is a <em>disjunctive term</em>, having exactly #FilterCom…
147 /** removes a given <em>disjunctive term</em>
160 /** appends an empty disjunctive term to the list of terms.
/dports/math/py-or-tools/or-tools-9.2/examples/dotnet/
H A Dorganize_day_intervals.cs70 DisjunctiveConstraint disjunctive = intervals.Disjunctive("Sequence"); in Solve()
71 solver.Add(disjunctive); in Solve()
86 SequenceVar var = disjunctive.SequenceVar(); in Solve()
/dports/math/minizinc/libminizinc-2.5.5/docs/chi/examples/
H A Ddisjunctive.mzn3 predicate disjunctive(array[int] of var int:s, array[int] of int:d) =
4 assert(index_set(s) == index_set(d), "disjunctive: " ++
H A Djobshop3.mzn1 include "disjunctive.mzn";
22 disjunctive([s[i,j] | i in JOB], [d[i,j] | i in JOB])
/dports/math/minizinc/libminizinc-2.5.5/docs/en/examples/
H A Ddisjunctive.mzn3 predicate disjunctive(array[int] of var int:s, array[int] of int:d) =
4 assert(index_set(s) == index_set(d), "disjunctive: " ++
H A Djobshop3.mzn1 include "disjunctive.mzn";
22 disjunctive([s[i,j] | i in JOB], [d[i,j] | i in JOB])
/dports/math/minizinc/libminizinc-2.5.5/docs/es/examples/
H A Ddisjunctive_es.mzn3 predicate disjunctive(array[int] of var int:s, array[int] of int:d) =
4 assert(index_set(s) == index_set(d), "disjunctive: " ++
H A Djobshop3_es.mzn1 include "disjunctive.mzn";
37 disjunctive([s[i,j] | i in JOB], [d[i,j] | i in JOB])
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/
H A Ddisjunctive.mzn14 predicate disjunctive(array[int] of var int: s,
17 "disjunctive: the array arguments must have identical index sets",
H A Ddisjunctive_opt.mzn15 predicate disjunctive(array[int] of var opt int: s,
18 "disjunctive: the array arguments must have identical index sets",
H A Dcumulative.mzn2 include "disjunctive.mzn";
34 disjunctive(s, d)
/dports/math/jacop/jacop-4.8.0/src/main/minizinc/org/jacop/minizinc_upTo2.3/
H A Ddisjunctive.mzn10 predicate disjunctive(array[int] of var int: s,
13 "disjunctive: the array arguments must have identical index sets",
/dports/math/minizinc/libminizinc-2.5.5/docs/en/
H A Dpredicates.rst482 single machine into a single disjunctive constraint.
496 single: global constraint; disjunctive
498 The :mzn:`disjunctive`
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>`.
526 (a) check that the arguments to :mzn:`disjunctive` make sense,
531 .. literalinclude:: examples/disjunctive.mzn
[all …]
/dports/lang/yap/yap-6.2.2/packages/cplint/slipcase/
H A Dinference_sl.pl676 % disjunctive clause with more than one head atom e depth_bound
691 % disjunctive clause with more than one head atom senza depth_bound
705 % disjunctive clause with a single head atom e depth_bound
728 % disjunctive clause with more than one head atom e depth_bound
747 % disjunctive clause with more than one head atom senza depth_bound
771 % disjunctive clause with a single head atom e depth_bound
873 % disjunctive FACT with more than one head atom e db
888 % disjunctive fact with more than one head atom senza db
903 % disjunctive fact with a single head atom con prob. 0
910 % disjunctive fact with a single head atom con prob.1 e db
[all …]
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/
H A DMakefile.am45 ./disjunctive/libCouenneDisjunctive.la \
69 -I`$(CYGPATH_W) $(srcdir)/disjunctive` \
170 disjunctive/CouenneDisjCuts.hpp \
/dports/math/couenne/Couenne-releases-0.5.8/
H A D.gitattributes143 Couenne/src/disjunctive/CouenneDisjCuts.cpp -text
144 Couenne/src/disjunctive/CouenneDisjCuts.hpp -text
145 Couenne/src/disjunctive/OsiCuts2MatrVec.cpp -text
146 Couenne/src/disjunctive/OsiLinear2MatrVec.cpp -text
147 Couenne/src/disjunctive/disjCut.cpp -text
148 Couenne/src/disjunctive/dummyVecMatr.cpp -text
149 Couenne/src/disjunctive/generateDisjCuts.cpp -text
150 Couenne/src/disjunctive/getDisjunctions.cpp -text
151 Couenne/src/disjunctive/separateWithDisjunction.cpp -text
152 Couenne/src/disjunctive/singleDisjunctions.cpp -text
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/cl/
H A Dcl.red89 % Common logic disjunctive normal form predicate. [f] is a formula.
90 % Returns [T] or [nil]. [T] is returned iff [f] is in disjunctive
96 % Common logic disjunctive normal form predicate subroutine. [f] is
119 % Returns [T] or [nil]. [T] is returned iff [f] is in disjunctive
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A DREADME.md122 * [disjunctive.h](../sat/disjunctive.h):
123 Propagation algorithms for the disjunctive scheduling constraint.
131 Data structure used in the cumulative/disjunctive propagation algorithm.
/dports/audio/py-music21/music21-7.1.0/music21/scale/scala/scl/
H A Ddiaphonic_7.scl3 7-tone Diaphonic Cycle, disjunctive form on 4/3 and 3/2
H A Ddiat31.scl3 Tonos-31 Diatonic. The disjunctive and conjunctive diatonic forms are the same
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/cut/ellipcuts/
H A DMakefile.am23 -I`$(CYGPATH_W) $(srcdir)/../disjunctive` \

12345678910>>...22