alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/tgba
History
Alexandre Duret-Lutz 3b3a196526 * src/tgbatest/ltl2tgba.cc: Simplify using 
emptiness_check_instantiator.
* src/tgba/tgba.cc, src/tgba/tgba.hh
(tgba::number_of_acceptance_conditions): Return an unsigned.
* bench/emptchk/algorithms, bench/emptchk/README,
src/tgbatest/emptchk.test, src/tgbatest/emptchke.test: Adjust
references to algorithms.
* bench/emptchk/pml-clserv.sh, bench/emptchk/pml-eeaean.sh: Quote
variables properly.
2005-02-18 10:03:01 +00:00
..
.cvsignore Initial code for TGBA (Transition Generalized Büchi Automata). 2003-05-26 11:17:40 +00:00
bdddict.cc * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
bdddict.hh * src/tgba/bdddict.hh (bdd_dict) <fv_map, vf_map, ref_set, 2004-12-15 16:23:07 +00:00
bddprint.cc * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
bddprint.hh * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
formula2bdd.cc * iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc, 2004-10-18 13:56:31 +00:00
formula2bdd.hh Explicit automata can now have arbitrary logic formula on their 2003-11-24 18:30:09 +00:00
Makefile.am * src/tgbatest/ltl2tgba.cc: Add some option for the reduction of 2004-06-15 16:24:02 +00:00
public.hh * COPYING: New file. 2003-11-21 15:54:25 +00:00
state.hh * src/misc/bareword.hh, src/misc/bddalloc.hh, src/misc/bddlt.hh, 2004-11-17 17:20:44 +00:00
statebdd.cc * COPYING: New file. 2003-11-21 15:54:25 +00:00
statebdd.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00
succiter.hh * src/evtgba/evtgbaiter.hh, src/ltlast/formula.hh, 2005-01-03 10:20:26 +00:00
succiterconcrete.cc * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
succiterconcrete.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00
tgba.cc * src/tgbatest/ltl2tgba.cc: Simplify using 2005-02-18 10:03:01 +00:00
tgba.hh * src/tgbatest/ltl2tgba.cc: Simplify using 2005-02-18 10:03:01 +00:00
tgbabddconcrete.cc * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
tgbabddconcrete.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00
tgbabddconcretefactory.cc * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
tgbabddconcretefactory.hh * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
tgbabddconcreteproduct.cc * iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc, 2004-10-18 13:56:31 +00:00
tgbabddconcreteproduct.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00
tgbabddcoredata.cc * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
tgbabddcoredata.hh * iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc, 2003-11-28 16:34:42 +00:00
tgbabddfactory.hh * src/evtgba/evtgbaiter.hh, src/ltlast/formula.hh, 2005-01-03 10:20:26 +00:00
tgbaexplicit.cc * src/tgba/tgbaexplicit.cc (tgba_explicit::create_transition): 2004-12-09 08:20:12 +00:00
tgbaexplicit.hh * src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc 2004-12-08 18:03:38 +00:00
tgbaproduct.cc * src/tgba/tgbatba.cc (state_tba_proxy::hash): Use wang32_hash. 2004-11-16 15:38:22 +00:00
tgbaproduct.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00
tgbareduc.cc * src/sanity/style.test: Suggest ++i over i++ when it does not 2004-09-23 12:20:10 +00:00
tgbareduc.hh * src/evtgba/evtgbaiter.hh, src/ltlast/formula.hh, 2005-01-03 10:20:26 +00:00
tgbatba.cc * src/tgba/tgbatba.hh (tgba_sba_proxy): New class, with the 2004-11-16 18:38:19 +00:00
tgbatba.hh * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, 2004-11-16 23:47:50 +00:00