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

minimize: cosmetics

Browse source 
* src/tgbaalgos/minimize.cc (minimize_monitor): Simplify the call to
tgba_powerset.
This commit is contained in:
Alexandre Duret-Lutz 2015-01-13 17:13:03 +01:00
parent f958c51991
commit 1578cdf837
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tgbaalgos/minimize.cc
View file

@ -219,7 +219,6 @@ namespace spot
const const_tgba_digraph_ptr& orig_a, scc_info& sm, const const_tgba_digraph_ptr& orig_a, scc_info& sm,
power_map& pm) power_map& pm)
{ {
// Get some state from the SCC #n. // Get some state from the SCC #n.
const state* start = det_a->state_from_number(sm.one_state_of(scc_n)); const state* start = det_a->state_from_number(sm.one_state_of(scc_n));
@ -480,12 +479,7 @@ namespace spot
{ {
hash_set* final = new hash_set; hash_set* final = new hash_set;
hash_set* non_final = new hash_set; hash_set* non_final = new hash_set;
tgba_digraph_ptr det_a; tgba_digraph_ptr det_a = tgba_powerset(a);
{
power_map pm;
det_a = tgba_powerset(a, pm);
}
// non_final contain all states. // non_final contain all states.
// final is empty: there is no acceptance condition // final is empty: there is no acceptance condition