alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

expansions: allow toggling merge_edges off

Browse source
This commit is contained in:
Antoine Martin 2023-03-06 18:37:28 +01:00
parent 0168efea60
commit d410435adc
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/tl/expansions.cc
View file

@ -1759,7 +1759,11 @@ namespace spot
} }
aut->set_named_prop("state-names", state_names); aut->set_named_prop("state-names", state_names);
aut->merge_edges();
if ((opts & exp_opts_new::MergeEdges)
&& !(opts & exp_opts_new::UniqueSuffix))
aut->merge_edges();
return aut; return aut;
} }
} }

1
spot/tl/expansions.hh
View file

@ -51,6 +51,7 @@ namespace spot
UniquePrefix = 2, UniquePrefix = 2,
BddIsop = 4, BddIsop = 4,
BddMinterm = 8, BddMinterm = 8,
MergeEdges = 16,
}; };
}; };