Searched refs:facts2 (Results 1 – 9 of 9) 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 253 for (i=0; i<facts2.size(); i++) { in combine_facts() 254 const Fact* new_fact = facts2[i]; 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() 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() 287 const Fact* f2 = find_related_fact(facts2, f1); in subset_facts()
|
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 | 240 const FactVec& facts2 = map_facts_in[stm]; in setup_in_out_maps() local 241 combine_facts(facts1, facts2); in setup_in_out_maps() 246 const FactVec& facts2 = map_facts_out[stm]; 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 | 82 $facts2 = []; 92 $facts2[$fact->id()] = $fact; 97 foreach ($facts2 as $id2 => $fact2) { 100 unset($facts1[$id1], $facts2[$id2]); 108 'facts2' => $facts2,
|
/dports/www/webtrees/webtrees-1.7.18/webtrees/ |
H A D | admin_site_merge.php | 66 $facts2 = array(); variable 79 $facts2[$fact->getFactId()] = $fact; 85 foreach ($facts2 as $id2 => $fact2) { 89 unset($facts2[$id2]); 161 foreach ($facts2 as $fact_id => $fact) { 302 <?php if ($facts2): ?> 315 <?php foreach ($facts2 as $fact_id => $fact): ?>
|
/dports/www/webtrees20/webtrees-2.0.19/webtrees/app/Module/ |
H A D | FixPrimaryTag.php | 150 $facts2 = new Collection(); 160 $facts2->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 | 136 <?php if ($facts2 !== []) : ?> 149 <?php foreach ($facts2 as $fact_id => $fact) : ?>
|
/dports/math/maxima/maxima-5.43.2/src/ |
H A D | compar.lisp | 120 (facts2 ctxt))) 135 (defun facts2 (expr) function
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/blink/perf_tests/parser/resources/ |
H A D | final-url-en | 37568 http://www.drawfluffy.com/facts2.html
|