Beispiel #1
0
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;
}
Beispiel #2
0
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;
}