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

Use generic split after obtaining direct strategy

Browse source 
* bin/ltlsynt.cc: Here
This commit is contained in:
philipp 2021-10-24 15:47:40 +02:00
parent 75b89db5ac
commit 6ebe3d7447
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
bin/ltlsynt.cc
View file

@ -426,8 +426,10 @@ namespace
unsigned simplify = gi->minimize_lvl; unsigned simplify = gi->minimize_lvl;
bool do_split = 3 <= simplify; bool do_split = 3 <= simplify;
if (do_split) if (do_split)
split_2step_fast_here(strat.strat_like, strat.strat_like =
spot::get_synthesis_outputs(strat.strat_like)); split_2step(strat.strat_like,
spot::get_synthesis_outputs(strat.strat_like),
false);
minimize_strategy_here(strat.strat_like, simplify); minimize_strategy_here(strat.strat_like, simplify);
if (do_split) if (do_split)
strat.strat_like = spot::unsplit_2step(strat.strat_like); strat.strat_like = spot::unsplit_2step(strat.strat_like);