| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/doc/ |
| H A D | implementation.tex | 520 the constraints of a set or relation in disjunctive normal form.
523 to disjunctive normal form can lead to an explosion of the size
543 Otherwise, a conversion to disjunctive normal form
729 to disjunctive normal form. Without this conversion, the final two
|
| /dports/lang/yap/yap-6.2.2/packages/cplint/doc/ |
| H A D | manual.tex | 62 LPAD and CP-logic programs consist of a set of annotated disjunctive clauses.
335 The disjunctive rule expresses the probability of a person of unknown sex of being male or female d…
|
| /dports/lang/swi-pl/swipl-8.2.3/library/ |
| H A D | prolog_codewalk.pl | 466 % If Goal is disjunctive, walk_called succeeds with a
|
| /dports/devel/cvs-devel/cvs-1.12.13/doc/ |
| H A D | getdate.texi | 23 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| H A D | getdate-cvs.texi | 30 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/www/firefox/firefox-99.0/third_party/python/taskcluster/taskcluster-44.2.2.dist-info/ |
| H A D | METADATA | 280 disjunctive normal form, and checks if any of the required scope sets are
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | gecode_constraints.cpp | 1220 bool disjunctive = (minHeight > bound.max() / 2) || in p_cumulatives() local
1222 if (disjunctive) { in p_cumulatives()
|
| /dports/mail/mailutils/mailutils-3.13/doc/texinfo/ |
| H A D | getdate.texi | 19 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/textproc/texi2html/texi2html-5.0/test/tar_manual/ |
| H A D | getdate.texi | 23 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/archivers/gtar/tar-1.34/doc/ |
| H A D | parse-datetime.texi | 21 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/databases/recutils/recutils-1.8/doc/ |
| H A D | parse-datetime.texi | 22 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/devel/gnulib/gnulib-20140202-stable/doc/ |
| H A D | parse-datetime.texi | 22 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/sysutils/coreutils/coreutils-8.32/doc/ |
| H A D | parse-datetime.texi | 21 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/math/SCIP/scip-7.0.3/scripts/trainEstimation/testdata/ |
| H A D | 6_neos-1228986.scip.periodic_report.out | 1224 …disjunctive : 0.00 0.00 0 0 0 0 0 …
|
| /dports/security/shishi/shishi-1.0.2/doc/ |
| H A D | parse-datetime.texi | 22 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/security/pkcs11-tools/pkcs11-tools-2.5.0/.gnulib/doc/ |
| H A D | parse-datetime.texi | 21 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/misc/findutils/findutils-4.8.0/doc/ |
| H A D | parse-datetime.texi | 21 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/misc/gnuls/coreutils-8.30/doc/ |
| H A D | parse-datetime.texi | 22 complicated, asymmetrical and disjunctive so as to make coherent mental
|
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | registry.cpp | 1342 bool disjunctive = nonzeroDuration && ( in p_cumulatives() local
1345 if (disjunctive) { in p_cumulatives()
|