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

expansions: determinize only once per state

Browse source
This commit is contained in:
Antoine Martin 2023-02-06 11:04:47 +01:00
parent b62945b5de
commit 66761b3980
2 changed files with 31 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/tl/expansions.hh
View file

@ -32,14 +32,10 @@ namespace spot
{
using expansion_t = std::map<bdd, formula, bdd_less_than>;
formula formula_identity(formula f)
{
return f;
}
struct exp_opts
{
enum expand_opt {
None = 0,
Deterministic = 1,
Basic = 2,
MergeSuffix = 4,