spot/src/tgbaparse
Alexandre Duret-Lutz 120ce7d8e6 lbtt: build an explicit automaton on input.
* src/priv/accmap.hh (acc_mapper): Rename into...
(acc_mapper_string): ... this, and add
(acc_mapper_int): ... this variant.
* src/tgbaparse/tgbaparse.yy: Adjust to renaming.
* src/tgbaalgos/lbtt.cc: Use acc_mapper_int and build an explicit
automaton.
* src/tgbaalgos/lbtt.hh: Adjust return type.
* src/tgbatest/ltl2tgba.cc: Adjust to new return type.
2014-07-03 10:06:53 +02:00
..
.cvsignore * configure.ac: Output src/tgbaparse/Makefile. 2003-06-05 15:22:42 +00:00
.gitignore Add .gitignore files 2008-03-14 16:59:32 +01:00
fmterror.cc Replace << "c" by << 'c', and check for it in style.sh 2014-02-12 16:17:51 +01:00
Makefile.am Add support for Bison 3.0. 2013-09-30 20:32:15 +02:00
parsedecl.hh tgbaparse: Return a tgba_digraph. 2014-06-27 11:40:28 +02:00
public.hh tgbaparse: Return a tgba_digraph. 2014-06-27 11:40:28 +02:00
tgbaparse.yy lbtt: build an explicit automaton on input. 2014-07-03 10:06:53 +02:00
tgbascan.ll Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00