Searched defs:db_createRoot (Results 1 – 2 of 2) sorted by relevance
/dports/math/minizinc-ide/MiniZincIDE-2.5.5/cp-profiler/src/cpprofiler/tree/ | ||
H A D | structure.cpp | 148 void Structure::db_createRoot(NodeID nid) in db_createRoot() function in cpprofiler::tree::Structure |
H A D | node_tree.cpp | 86 void NodeTree::db_createRoot(NodeID nid, Label label) in db_createRoot() function in cpprofiler::tree::NodeTree |