| /dports/math/chuffed/chuffed-e04bedd/chuffed/mdd/ |
| H A D | mdd_prop.cpp | 217 inferences.push(i); in static_inference()
1046 vec<int> inferences; in fullProp()
1102 inferences.push(i); in fullProp()
1226 vec<int> inferences; in propagate() local
1369 inferences.push(val); in propagate()
1595 inferences.push(val); in propagate()
1603 inferences[j] = inferences[j-1]; in propagate()
1605 inferences[j] = val; in propagate()
1611 int val = inferences[i]; in propagate()
1616 inferences[j] = inferences[j-1]; in propagate()
[all …]
|
| /dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/reli/ |
| H A D | relidisc.top | 8 reliability analysis is to make inferences (based
10 inferences involve the estimation of
|
| /dports/math/maxima/maxima-5.43.2/doc/info/ |
| H A D | Database.texi | 48 @category{Declarations and inferences}
109 @category{Declarations and inferences}
322 @category{Declarations and inferences}
352 @category{Declarations and inferences}
383 @category{Declarations and inferences}
429 @category{Declarations and inferences}
487 @category{Declarations and inferences}
538 @category{Declarations and inferences}
565 @category{Declarations and inferences}
592 @category{Declarations and inferences}
[all …]
|
| /dports/devel/texlab/citeproc-rs-5252fbd8d2046a5a7d5cdcee6c6cb39bd0f1a7f3/crates/proc/src/disamb/ |
| H A D | knowledge.rs | 152 let inferences = cond_inferences(&pair); in know_all_of() localVariable
154 for inference in inferences { in know_all_of()
248 let inferences = cond_inferences(&(cond, truth)); in push() localVariable
249 for inf in inferences { in push()
374 fn inferences() { in inferences() function
|
| /dports/devel/tcllib/tcllib-1.20/modules/bibtex/test-assets/ |
| H A D | penn_sub.bib | 5 title = "Incorporating default inferences into plan
|
| /dports/devel/tcllibc/tcllib-1.20/modules/bibtex/test-assets/ |
| H A D | penn_sub.bib | 5 title = "Incorporating default inferences into plan
|
| /dports/lang/swi-pl/swipl-8.2.3/library/ |
| H A D | statistics.pl | 122 statistics(inferences, Inferences),
131 [ core{ time:time{cpu:Cputime, inferences:Inferences, epoch:Epoch},
270 inferences:Inferences, label
274 thread_statistics(Thread, inferences, Inferences),
320 statistics(inferences, Inferences).
327 statistics(inferences, Inferences0),
661 get_dict(inferences, T, Inferences)
|
| /dports/math/vtk9/VTK-9.1.0/ThirdParty/netcdf/vtknetcdf/libdispatch/ |
| H A D | dinfermodel.c | 474 const struct MODEINFER* inferences = NULL; in processinferences() local
505 for(inferences=modeinferences;inferences->key;inferences++) { in processinferences()
506 if(strcasecmp(inferences->key,mode)==0) { in processinferences()
511 if(strcasecmp(candidate,inferences->inference)==0) in processinferences()
516 nclistpush(modes,strdup(inferences->inference)); in processinferences()
|
| /dports/security/pkcs11-tools/pkcs11-tools-2.5.0/.gnulib/doc/ |
| H A D | windows-stat-inodes.texi | 13 before going to make inferences based on the file identity
|
| /dports/math/cvc4/CVC4-1.7/src/options/ |
| H A D | sets_options.toml | 21 help = "send inferences as lemmas"
|
| H A D | strings_options.toml | 148 help = "always send lemmas out instead of making internal inferences"
218 help = "do flat form inferences"
|
| /dports/lang/swi-pl/swipl-8.2.3/src/Tests/library/ |
| H A D | test_rbtrees.pl | 155 statistics(inferences, OldInferences),
157 statistics(inferences, NewInferences),
|
| /dports/math/eprover/eprover-E-2.0/DOC/ |
| H A D | pcl2.spec | 30 class of inferences and the clause dependencies.
|
| H A D | E-REMARKS.english | 49 saturated under the allowed inferences:
|
| H A D | DONE | 79 For evaluation of clauses, do output subsumption inferences
108 Output of inferences/evaluations -> done
|
| /dports/devel/dep/dep-0.5.4/docs/ |
| H A D | migrating.md | 27 …on that is acceptable under dep's model, while incorporating the above inferences as much as possi…
36 There are three circumstances that can lead dep not to make any tool-based inferences:
42 …inferences drawn from tool metadata by checking the current project's containing GOPATH. Only hint…
44 Once dep has compiled its set of inferences, it proceeds to solving.
|
| /dports/misc/otter/otter-3.3f/documents/old_READMEs/ |
| H A D | README.302 | 22 containing all the substitutions and positions for the inferences
|
| /dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/dexcomp/ |
| H A D | ccrddisc.top | 32 If no randomization is performed, then any inferences
|
| /dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/fit/ |
| H A D | residisc.top | 8 the assumptions are invalid, the inferences
|
| /dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/clas/eda/ |
| H A D | explclas.top | 43 parameters and the collected data to jointly make inferences
|
| /dports/math/eprover/eprover-E-2.0/PROVER/ |
| H A D | eproof | 78 inferences) and, in the case of success, automatically run epclextract\n\
|
| /dports/devel/tcllib/tcllib-1.20/modules/bibtex/ |
| H A D | bibtex.test | 94 title {Incorporating default inferences into plan recognition} \
104 title {Incorporating default inferences into plan recognition} \
|
| /dports/devel/tcllibc/tcllib-1.20/modules/bibtex/ |
| H A D | bibtex.test | 94 title {Incorporating default inferences into plan recognition} \
104 title {Incorporating default inferences into plan recognition} \
|
| /dports/lang/swi-pl/swipl-8.2.3/src/ |
| H A D | pl-global.h | 516 { int64_t inferences; /* inferences in this thread */ member
744 int64_t inferences; /* #inferences at last GC */ member
|
| /dports/dns/unbound/unbound-1.14.0/testdata/clang-analysis.tdir/ |
| H A D | clang-analysis.test | 21 # the assertions to make inferences.
|