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

* src/tgbatest/ltl2tgba.cc: Clock the degeneralization.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-06-14 15:16:58 +02:00
parent 59a2763f41
commit b7c77dca31
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgbatest/ltl2tgba.cc
View file

@ -1013,7 +1013,9 @@ main(int argc, char** argv)
} }
else if (degeneralize_opt == DegenSBA) else if (degeneralize_opt == DegenSBA)
{ {
tm.start("degeneralization");
degeneralized = a = spot::degeneralize(a); degeneralized = a = spot::degeneralize(a);
tm.stop("degeneralization");
assume_sba = true; assume_sba = true;
} }
else if (labeling_opt == StateLabeled) else if (labeling_opt == StateLabeled)
@ -1066,8 +1068,10 @@ main(int argc, char** argv)
} }
else if (degeneralize_opt == DegenSBA) else if (degeneralize_opt == DegenSBA)
{ {
tm.start("degeneralize product");
product = product_degeneralized = a = product = product_degeneralized = a =
spot::degeneralize(product); spot::degeneralize(product);
tm.stop("degeneralize product");
assume_sba = true; assume_sba = true;
} }
} }