Behavior make_full_with_clo (const Behavior& BHfull, const vector<LOrder>& lorder_vec) { Behavior BH; BGVertex root; Trace trace; if (handle_path(BHfull,BHfull.get_root(),lorder_vec,BH,trace,root)) BH.set_root(root); return BH; }
Behavior make_minimized (const Behavior& BHorig) { Behavior BH; BGVertex root; root = BH.add_step(NULL); BH.set_root(root); vector<BGVertex> parents; parents.push_back(BHorig.get_root()); create_childs_for_min(BHorig,BH,root,obtain_childs(BHorig,parents)); return BH; }