alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/wrap/python/tests
History
Alexandre Duret-Lutz de6314ed74 Revamp the multop interface to allow some basic optimizations like 
not constructing a single-child multop.
* src/ltlast/multop.hh (multop::instance(type)): Remove.
(multop::instance(type, formula*, formula*)): Return a formula*.
(multop::instance(type, vec*)): Make it public and return a formula*.
(multop::add_sorted, multop::add):
* src/ltlast/multop.cc (multop::instance(type, vec*)): Rewrite.
(multop::instance(type)): Delete.
(multop::instance(type, formula*, formula*)): Adjust.
(multop::add_sorted, multop::add): Remove.
* src/ltlvisit/clone.cc (clone_visitor::visit(multop*)) Adjust.
* src/ltlvisit/nenoform.cc
(negative_normal_form_visitor::::visit(multop*)) Adjust.
* src/ltltest/equals.test: Make sure `a & a' and `a' are equals.
* wrap/python/tests/ltlsimple.py: Adjust.
2003-08-10 16:29:49 +00:00
..
.cvsignore * configure.ac: Output wrap/python/tests/Makefile 2003-07-31 20:04:29 +00:00
bddnqueen.py * wrap/python/buddy.i: New file. 2003-08-01 16:17:35 +00:00
interdep.py * wrap/python/Makefile.am (lib_LTLIBRARIES) 2003-08-04 15:35:55 +00:00
ltl2tgba.py * wrap/python/spot.i: Declare spot::ltl_to_tgba as a constructor. 2003-08-04 14:36:04 +00:00
ltl2tgba.test * wrap/python/spot.i: Include headers from tgba/ and tgbaalgos/. 2003-08-04 13:50:59 +00:00
ltlparse.py * wrap/python/tests/ltlparse.py: New file. 2003-08-04 09:18:54 +00:00
ltlsimple.py Revamp the multop interface to allow some basic optimizations like 2003-08-10 16:29:49 +00:00
Makefile.am * wrap/python/Makefile.am (lib_LTLIBRARIES) 2003-08-04 15:35:55 +00:00
run.in * wrap/python/Makefile.am (lib_LTLIBRARIES) 2003-08-04 15:35:55 +00:00