alarsyo/spot

Fork 0

Commit graph

Author	SHA1	Message	Date
Alexandre Duret-Lutz	822fe77891	python: cleanup with autopep8 * tests/python/341.py, tests/python/alarm.py, tests/python/bdddict.py, tests/python/bddnqueen.py, tests/python/bugdet.py, tests/python/dualize.py, tests/python/except.py, tests/python/gen.py, tests/python/genem.py, tests/python/implies.py, tests/python/interdep.py, tests/python/ipnbdoctest.py, tests/python/kripke.py, tests/python/ltl2tgba.py, tests/python/ltlf.py, tests/python/ltlparse.py, tests/python/ltlsimple.py, tests/python/relabel.py, tests/python/rs_like.py, tests/python/sccsplit.py, tests/python/semidet.py, tests/python/setacc.py, tests/python/setxor.py, tests/python/split.py, tests/python/streett_totgba.py, tests/python/stutter.py, tests/python/sum.py, tests/python/toparity.py, tests/python/toweak.py, tests/python/trival.py, python/spot/__init__.py, python/spot/aux.py, python/spot/jupyter.py: Reformat with autopep8. fixup! * spot/tl/simplify.cc: Fix typos in tracing code.	2019-07-05 21:22:29 +02:00
Alexandre Duret-Lutz	0411099506	trival: prefer a global operator== relying on implicit conversion Hopefully fixes #359. * spot/misc/trival.hh: Declare a global operator==(trival,trival) that replace the specialized operator==(bool,trival), and the in class trival::operator(trival), thanks to the implicit construction from bool to trival. Make the repr_t/value_t constructor explicit, are those are mostly internal to the library and may cause conflicts. * spot/twa/twa.hh: Adjust to construct trival explicitly. * python/spot/impl.i: Since Swig/Python does not support global comparison operators, implement a member version, supporting only __eq__(trival,bool) as before. * tests/python/setacc.py: Adjust erroneous code. * tests/python/trival.py: Add test cases.	2018-07-04 16:00:00 +02:00
Alexandre Duret-Lutz	1aeb260adf	trival: new class for tri-valued logic * spot/misc/trival.hh: New file. * spot/misc/Makefile.am: Add it. * python/spot_impl.i: Add Python bindings. * tests/core/trival.cc, tests/core/trival.test, tests/python/trival.py: New files, testing it. * tests/Makefile.am: Add them.	2016-01-13 17:57:54 +01:00

Author

SHA1

Message

Date

Alexandre Duret-Lutz

822fe77891

python: cleanup with autopep8

* tests/python/341.py, tests/python/alarm.py, tests/python/bdddict.py,
tests/python/bddnqueen.py, tests/python/bugdet.py,
tests/python/dualize.py, tests/python/except.py, tests/python/gen.py,
tests/python/genem.py, tests/python/implies.py,
tests/python/interdep.py, tests/python/ipnbdoctest.py,
tests/python/kripke.py, tests/python/ltl2tgba.py,
tests/python/ltlf.py, tests/python/ltlparse.py,
tests/python/ltlsimple.py, tests/python/relabel.py,
tests/python/rs_like.py, tests/python/sccsplit.py,
tests/python/semidet.py, tests/python/setacc.py,
tests/python/setxor.py, tests/python/split.py,
tests/python/streett_totgba.py, tests/python/stutter.py,
tests/python/sum.py, tests/python/toparity.py, tests/python/toweak.py,
tests/python/trival.py, python/spot/__init__.py, python/spot/aux.py,
python/spot/jupyter.py: Reformat with autopep8.

fixup! * spot/tl/simplify.cc: Fix typos in tracing code.

2019-07-05 21:22:29 +02:00

Alexandre Duret-Lutz

0411099506

trival: prefer a global operator== relying on implicit conversion

Hopefully fixes #359.

* spot/misc/trival.hh: Declare a global operator==(trival,trival) that
replace the specialized operator==(bool,trival), and the in class
trival::operator(trival), thanks to the implicit construction from
bool to trival.  Make the repr_t/value_t constructor explicit, are
those are mostly internal to the library and may cause conflicts.
* spot/twa/twa.hh: Adjust to construct trival explicitly.
* python/spot/impl.i: Since Swig/Python does not support global
comparison operators, implement a member version, supporting
only __eq__(trival,bool) as before.
* tests/python/setacc.py: Adjust erroneous code.
* tests/python/trival.py: Add test cases.

2018-07-04 16:00:00 +02:00

Alexandre Duret-Lutz

1aeb260adf

trival: new class for tri-valued logic

* spot/misc/trival.hh: New file.
* spot/misc/Makefile.am: Add it.
* python/spot_impl.i: Add Python bindings.
* tests/core/trival.cc, tests/core/trival.test,
tests/python/trival.py: New files, testing it.
* tests/Makefile.am: Add them.

2016-01-13 17:57:54 +01:00

3 commits