Home
last modified time | relevance | path

Searched refs:orig_locs (Results 1 – 3 of 3) sorted by relevance

/dports/math/minizinc-ide/MiniZincIDE-2.5.5/cp-profiler/src/cpprofiler/
H A Dconductor.cpp358 auto orig_locs = std::make_shared<std::vector<analysis::OriginalLoc>>(); in mergeTrees() local
361 auto merger = new analysis::TreeMerger(*e1, *e2, tree, result, orig_locs); in mergeTrees()
379 auto orig_locs = std::make_shared<std::vector<analysis::OriginalLoc>>(); in runNogoodAnalysis() local
382 auto merger = new analysis::TreeMerger(*e1, *e2, tree, result, orig_locs); in runNogoodAnalysis()
/dports/math/minizinc-ide/MiniZincIDE-2.5.5/cp-profiler/src/cpprofiler/analysis/
H A Dtree_merger.hh49 std::shared_ptr<std::vector<OriginalLoc>> orig_locs);
H A Dtree_merger.cpp22 std::shared_ptr<std::vector<OriginalLoc>> orig_locs) in TreeMerger() argument
28 orig_locs_(orig_locs) in TreeMerger()