Searched refs:facts1 (Results 1 – 8 of 8) sorted by relevance
| /dports/devel/csmith/csmith-2.3.0/src/ |
| H A D | Fact.cpp | 250 combine_facts(vector<Fact*>& facts1, const FactVec& facts2) in combine_facts() argument
255 for (j=0; j<facts1.size(); j++) { in combine_facts()
256 Fact* old_fact = facts1[j]; in combine_facts()
266 same_facts(const FactVec& facts1, const FactVec& facts2) in same_facts() argument
268 if (facts1.size() == facts2.size()) { in same_facts()
270 for (i=0; i<facts1.size(); i++) { in same_facts()
271 if (find_fact(facts2, facts1[i]) == -1) { in same_facts()
281 subset_facts(const FactVec& facts1, const FactVec& facts2) in subset_facts() argument
283 if (facts1.size() == facts2.size()) { in subset_facts()
285 for (i=0; i<facts1.size(); i++) { in subset_facts()
[all …]
|
| H A D | Fact.h | 127 bool same_facts(const FactVec& facts1, const FactVec& facts2);
130 bool subset_facts(const FactVec& facts1, const FactVec& facts2);
142 void combine_facts(vector<Fact*>& facts1, const FactVec& facts2);
|
| H A D | FactMgr.cpp | 224 const vector<const Fact*>& facts1 = iter->second; in setup_in_out_maps() local
225 map_facts_in_final[stm] = copy_facts(facts1); in setup_in_out_maps()
229 const vector<const Fact*>& facts1 = iter->second; in setup_in_out_maps() local
230 map_facts_out_final[stm] = copy_facts(facts1); in setup_in_out_maps()
239 vector<Fact*>& facts1 = iter->second; in setup_in_out_maps() local
241 combine_facts(facts1, facts2); in setup_in_out_maps()
245 vector<Fact*>& facts1 = iter->second; in setup_in_out_maps() local
247 combine_facts(facts1, facts2); in setup_in_out_maps()
|
| /dports/www/webtrees20/webtrees-2.0.19/webtrees/app/Http/RequestHandlers/ |
| H A D | MergeFactsPage.php | 81 $facts1 = [];
86 $facts1[$fact->id()] = $fact;
96 foreach ($facts1 as $id1 => $fact1) {
100 unset($facts1[$id1], $facts2[$id2]);
107 'facts1' => $facts1,
|
| /dports/www/webtrees/webtrees-1.7.18/webtrees/ |
| H A D | admin_site_merge.php | 65 $facts1 = array(); variable
71 $facts1[$fact->getFactId()] = $fact;
84 foreach ($facts1 as $id1 => $fact1) {
88 unset($facts1[$id1]);
156 foreach ($facts1 as $fact_id => $fact) {
256 <?php if ($facts1): ?>
269 <?php foreach ($facts1 as $fact_id => $fact): ?>
|
| /dports/www/webtrees20/webtrees-2.0.19/webtrees/app/Module/ |
| H A D | FixPrimaryTag.php | 149 $facts1 = new Collection();
156 $facts1->push($fact);
166 $sorted_facts = $facts1->concat($facts2)->concat($facts3)->concat($facts4);
|
| /dports/www/webtrees20/webtrees-2.0.19/webtrees/resources/views/admin/ |
| H A D | merge-records-step-2.phtml | 90 <?php if ($facts1 !== []) : ?>
103 <?php foreach ($facts1 as $fact_id => $fact) : ?>
|
| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | compar.lisp | 119 (facts1 ctxt)
122 (defun facts1 (con) function
1508 (setq fl (reverse (cdr (facts1 (car l)))))
1530 (setq fl (reverse (cdr (facts1 ll))))
1956 (do ((factsl (cdr (facts1 x)) (cdr factsl))
2019 (do ((factsl (cdr (facts1 x)) (cdr factsl)))
|