alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/spot/twaalgos
History
Maximilien Colange b09c293f1a Clean the usage of spot::acc_cond::mark_t 
spot::acc_cond::mark_t is implemented as a bit vector using a single
unsigned, and implicit conversions between mark_t and unsigned may be
confusing. We try to use the proper interface.

* bin/autfilt.cc, bin/ltlsynt.cc, spot/kripke/kripke.cc,
  spot/misc/game.hh, spot/parseaut/parseaut.yy, spot/priv/accmap.hh,
  spot/ta/ta.cc, spot/ta/taexplicit.cc, spot/ta/taproduct.cc,
  spot/taalgos/emptinessta.cc, spot/taalgos/tgba2ta.cc, spot/twa/acc.cc,
  spot/twa/acc.hh, spot/twa/taatgba.cc, spot/twa/taatgba.hh,
  spot/twa/twagraph.hh, spot/twaalgos/alternation.cc,
  spot/twaalgos/cleanacc.cc, spot/twaalgos/cobuchi.cc,
  spot/twaalgos/complete.cc, spot/twaalgos/couvreurnew.cc,
  spot/twaalgos/degen.cc, spot/twaalgos/dot.cc,
  spot/twaalgos/dtwasat.cc, spot/twaalgos/dualize.cc,
  spot/twaalgos/emptiness.cc, spot/twaalgos/gtec/ce.cc,
  spot/twaalgos/gtec/gtec.cc, spot/twaalgos/gtec/sccstack.cc,
  spot/twaalgos/gv04.cc, spot/twaalgos/hoa.cc, spot/twaalgos/lbtt.cc,
  spot/twaalgos/ltl2tgba_fm.cc, spot/twaalgos/magic.cc,
  spot/twaalgos/ndfs_result.hxx, spot/twaalgos/rabin2parity.cc,
  spot/twaalgos/randomgraph.cc, spot/twaalgos/remfin.cc,
  spot/twaalgos/sbacc.cc, spot/twaalgos/sccfilter.cc,
  spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh,
  spot/twaalgos/se05.cc, spot/twaalgos/sepsets.cc,
  spot/twaalgos/simulation.cc, spot/twaalgos/strength.cc,
  spot/twaalgos/stripacc.cc, spot/twaalgos/stutter.cc,
  spot/twaalgos/sum.cc, spot/twaalgos/tau03.cc,
  spot/twaalgos/tau03opt.cc, spot/twaalgos/totgba.cc,
  spot/twaalgos/toweak.cc, python/spot/impl.i, tests/core/acc.cc,
  tests/core/twagraph.cc: do not confuse mark_t and unsigned
* tests/python/acc_cond.ipynb: warn about possible change of the API
2018-03-15 10:05:24 +01:00
..
gtec Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
.gitignore rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
aiger.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
aiger.hh Improve ltlsynt interface 2017-11-23 14:46:50 +01:00
alternation.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
alternation.hh remove universal transitions on the fly 2017-09-27 19:30:42 +02:00
are_isomorphic.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
are_isomorphic.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
bfssteps.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
bfssteps.hh more doxygen 2018-01-18 18:00:11 +01:00
canonicalize.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
canonicalize.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
cleanacc.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
cleanacc.hh more doxygen 2018-01-18 18:00:11 +01:00
cobuchi.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
cobuchi.hh postproc: add support for co-Büchi output 2018-01-14 22:16:40 +01:00
complement.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
complement.hh dtwa_complement: deprecated, use dualize() instead. 2017-04-07 17:15:38 +02:00
complete.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
complete.hh twa: add support for prop_complete() 2017-03-20 21:07:08 +01:00
compsusp.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
compsusp.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
copy.hh deprecate copy() in favor of make_twa_graph() 2017-07-25 11:35:37 +02:00
couvreurnew.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
couvreurnew.hh Add a new, parameterized, version of the Couvreur emptiness check. 2016-12-13 16:18:31 +01:00
cycles.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
cycles.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
degen.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
degen.hh more doxygen 2018-01-18 18:00:11 +01:00
determinize.cc Slight improvement of the determinization 2018-02-21 18:20:57 +01:00
determinize.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
dot.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
dot.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
dtbasat.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
dtbasat.hh spot: Add 'langmap' option with dichotomy (it helps to choose min val) 2017-01-06 19:53:21 +01:00
dtwasat.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
dtwasat.hh spot: Add 'langmap' option with dichotomy (it helps to choose min val) 2017-01-06 19:53:21 +01:00
dualize.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
dualize.hh more doxygen 2018-01-18 18:00:11 +01:00
emptiness.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
emptiness.hh emptiness: allow twa_run::as_twa to preserve names 2017-02-04 10:02:23 +01:00
emptiness_stats.hh emptiness stats: remove some unused code 2017-03-10 16:24:46 +01:00
gv04.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
gv04.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
hoa.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
hoa.hh hoa: add option to output version 1.1 2016-04-20 15:23:55 +02:00
iscolored.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
iscolored.hh doc: fix some doxygen commands 2017-11-01 10:40:41 +01:00
isdet.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
isdet.hh introduce check_determinism() 2017-12-18 15:57:17 +01:00
isunamb.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
isunamb.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
isweakscc.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
isweakscc.hh is_weak_scc and friend: make them work for alternating automata 2017-08-04 15:12:27 +02:00
langmap.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
langmap.hh langmap: adjust to only color non-unique languages 2017-01-17 21:58:03 +01:00
lbtt.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
lbtt.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
ltl2taa.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
ltl2taa.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
ltl2tgba_fm.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
ltl2tgba_fm.hh Typos 2017-08-28 17:54:21 +02:00
magic.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
magic.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
Makefile.am include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
mask.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
mask.hh is_weak_scc and friend: make them work for alternating automata 2017-08-04 15:12:27 +02:00
minimize.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
minimize.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
ndfs_result.hxx Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
neverclaim.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
neverclaim.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
parity.cc Improve cleanup_parity 2018-02-21 18:20:57 +01:00
parity.hh more doxygen 2018-01-18 18:00:11 +01:00
postproc.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
postproc.hh postproc: add support for co-Büchi output 2018-01-14 22:16:40 +01:00
powerset.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
powerset.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
product.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
product.hh twaalgos: more doxygen comments 2018-01-16 08:12:28 +01:00
rabin2parity.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
rabin2parity.hh Improve IAR construction 2018-01-24 09:27:37 +01:00
randomgraph.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
randomgraph.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
randomize.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
randomize.hh highlight: improve support for highlighted edges 2016-07-18 23:23:01 +02:00
reachiter.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
reachiter.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
relabel.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
relabel.hh relabel_here: make it compatible with relabel_bse 2017-06-20 15:19:00 +02:00
remfin.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
remfin.hh remfin: add is_buchi_realizable() method 2018-01-19 02:09:28 +01:00
remprop.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
remprop.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
sbacc.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
sbacc.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
sccfilter.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
sccfilter.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
sccinfo.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
sccinfo.hh Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
se05.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
se05.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
sepsets.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
sepsets.hh more doxygen 2018-01-18 18:00:11 +01:00
simulation.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
simulation.hh Properly handle "simulated-states" property in twagraph::defrag_states. 2017-06-05 15:48:36 +02:00
split.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
split.hh more doxygen 2018-01-18 18:00:11 +01:00
stats.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
stats.hh bin: add %g options to print acceptance name 2017-11-04 07:43:41 +01:00
strength.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
strength.hh decompose: merge decompose_strength() and decompose_scc() 2017-06-30 23:09:31 +02:00
stripacc.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
stripacc.hh monitor: fix -MD/-M difference in property output 2017-03-03 18:37:32 +01:00
stutter.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
stutter.hh stutter: two new functions 2017-12-19 21:03:35 +01:00
sum.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
sum.hh twaalgos: more doxygen comments 2018-01-16 08:12:28 +01:00
tau03.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
tau03.hh rename src/ as spot/ and use include <spot/...> 2015-12-04 20:13:59 +01:00
tau03opt.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
tau03opt.hh sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
totgba.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
totgba.hh fix handling of Rabin-like input for dnf_to_dca() 2018-02-19 11:40:39 +01:00
toweak.cc Clean the usage of spot::acc_cond::mark_t 2018-03-15 10:05:24 +01:00
toweak.hh Implement to_weak_alternating() which weakifies tgbas 2017-07-19 16:54:09 +02:00
translate.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
translate.hh translate: add support for -x tls-impl=N 2017-10-13 07:42:48 +02:00
word.cc include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
word.hh * spot/twaalgos/word.hh: Add documentation. 2016-03-13 15:06:52 +01:00