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

* tests/python/split.py: Simplify.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-11-12 22:44:56 +01:00
parent 1443d45ac7
commit 9d81e9cf8f
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/python/split.py
View file

@ -18,6 +18,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>. # along with this program. If not, see <http://www.gnu.org/licenses/>.
import spot import spot
import buddy
# CPython use reference counting, so that automata are destructed # CPython use reference counting, so that automata are destructed
# when we expect them to be. However other implementations like # when we expect them to be. However other implementations like
@ -43,9 +44,9 @@ def equiv(a, b):
def do_split(f, out_list): def do_split(f, out_list):
aut = spot.translate(f) aut = spot.translate(f)
outputs = spot.buddy.bddtrue outputs = buddy.bddtrue
for a in out_list: for a in out_list:
outputs &= spot.buddy.bdd_ithvar(aut.get_dict().varnum(spot.formula(a))) outputs &= buddy.bdd_ithvar(aut.register_ap(a))
s = spot.split_2step(aut, outputs, False) s = spot.split_2step(aut, outputs, False)
return aut, s return aut, s