Alexandre Duret-Lutz acb67c1bf6 autfilt: add a --sbacc option ... ... to force automata into state-based acceptance. * src/tgbaalgos/sbacc.cc, src/tgbaalgos/sbacc.hh, src/tgbatest/sbacc.test: New files. * src/tgbaalgos/Makefile.am, src/tgbatest/Makefile.am: Add them. * src/tgba/tgbagraph.hh (copy_acceptance_conditions_of): Call set_acceptance_conditions(). * src/bin/autfilt.cc: Add option --sbacc.		2015-02-03 21:40:56 +01:00
..
.cvsignore	Initial code for TGBA (Transition Generalized Büchi Automata).	2003-05-26 11:17:40 +00:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
acc.hh	maskacc: Add a tgba_digraph version	2015-01-31 21:21:46 +01:00
bdddict.cc	Handle all automata through shared_ptr. (monstro patch)	2014-08-15 11:07:05 +02:00
bdddict.hh	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
bddprint.cc	Fix some bdd_dict_ptr not being passed by const reference.	2014-08-15 11:07:05 +02:00
bddprint.hh	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
formula2bdd.cc	ltl: remove the useless Finish operator	2014-12-04 17:48:42 +01:00
formula2bdd.hh	Fix some bdd_dict_ptr not being passed by const reference.	2014-08-15 11:07:05 +02:00
fwd.hh	Store membership to acceptance sets using bitsets, not BDDs.	2014-10-06 10:18:57 +02:00
Makefile.am	stutter: gather all code in one place	2015-01-08 23:39:45 +01:00
taatgba.cc	bddop: remove unused file	2014-12-01 17:48:39 +01:00
taatgba.hh	ltl: get rid of formula_ptr_hash	2014-10-26 22:17:19 +01:00
tgba.cc	tgba: simplify usage of named properties	2014-12-09 16:21:45 +01:00
tgba.hh	tgba_digraph: force selection of properties kept on copy	2015-01-03 17:08:01 +01:00
tgbagraph.cc	merge transitions: also merge transitions with same conditions	2014-12-17 10:26:46 +01:00
tgbagraph.hh	autfilt: add a --sbacc option	2015-02-03 21:40:56 +01:00
tgbamask.cc	Store membership to acceptance sets using bitsets, not BDDs.	2014-10-06 10:18:57 +02:00
tgbamask.hh	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
tgbaproduct.cc	Store membership to acceptance sets using bitsets, not BDDs.	2014-10-06 10:18:57 +02:00
tgbaproduct.hh	product: rename the one-the-fly version as otf_product	2015-01-09 08:23:49 +01:00
tgbaproxy.cc	Store membership to acceptance sets using bitsets, not BDDs.	2014-10-06 10:18:57 +02:00
tgbaproxy.hh	Store membership to acceptance sets using bitsets, not BDDs.	2014-10-06 10:18:57 +02:00
tgbasafracomplement.cc	tgbasafracomplement: avoid some std::set copies	2014-10-31 11:47:03 +01:00
tgbasafracomplement.hh	Replace most uses of scc_map by scc_info.	2014-10-08 17:33:14 +02:00