Home
last modified time | relevance | path

Searched refs:facts2 (Results 1 – 9 of 9) sorted by relevance

/dports/devel/csmith/csmith-2.3.0/src/
H A DFact.cpp250 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 DFact.h127 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 DFactMgr.cpp240 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 DMergeFactsPage.php82 $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 Dadmin_site_merge.php66 $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 DFixPrimaryTag.php150 $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 Dmerge-records-step-2.phtml136 <?php if ($facts2 !== []) : ?>
149 <?php foreach ($facts2 as $fact_id => $fact) : ?>
/dports/math/maxima/maxima-5.43.2/src/
H A Dcompar.lisp120 (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 Dfinal-url-en37568 http://www.drawfluffy.com/facts2.html