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

autfilt: --complement accepts non-deterministic input

Browse source 
* bin/autfilt.cc: Fix the --help string for --complement, and also
merge edges in the resulting automaton, as suggested by František
Blahoudek.
* tests/core/complement.test: Adjust output and add František's
example.
This commit is contained in:
Alexandre Duret-Lutz 2018-05-16 14:11:32 +02:00
parent 605bcd723d
commit 4d82758726
2 changed files with 24 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
bin/autfilt.cc
View file

@ -304,8 +304,7 @@ static const argp_option options[] =
{ "cleanup-acceptance", OPT_CLEAN_ACC, nullptr, 0,
"remove unused acceptance sets from the automaton", 0 },
{ "complement", OPT_COMPLEMENT, nullptr, 0,
"complement each automaton (currently support only deterministic "
"automata)", 0 },
"complement each automaton (currently via determinization)", 0 },
{ "complement-acceptance", OPT_COMPLEMENT_ACC, nullptr, 0,
"complement the acceptance condition (without touching the automaton)",
0 },
@ -1423,7 +1422,10 @@ namespace
}
if (opt_complement)
aut = spot::dualize(ensure_deterministic(aut));
{
aut = spot::dualize(ensure_deterministic(aut));
aut->merge_edges();
}
if (opt_dualize)
aut = spot::dualize(aut);