alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add a constant_term() visitor to decide whether #e is accepted.

Browse source 
* src/ltlvisit/Makefile.am: Add consterm.cc and consterm.hh.
* src/ltlvisit/consterm.hh, src/ltlvisit/consterm.cc: New files.
* src/ltltest/Makefile.am: Add consterm.cc and consterm.test.
* src/ltltest/consterm.cc, src/ltltest/consterm.test: New files.
This commit is contained in:
Alexandre Duret-Lutz 2010-01-11 16:01:38 +01:00
parent 2d1aa0a5a0
commit 97b7211bb7
6 changed files with 307 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ltltest/Makefile.am
View file

@ -28,6 +28,7 @@ LDADD = ../libspot.la
check_SCRIPTS = defs
# Keep this sorted alphabetically.
check_PROGRAMS = \
consterm \
equals \
length \
ltl2dot \
@ -47,6 +48,7 @@ noinst_PROGRAMS = \
genltl \
randltl
consterm_SOURCES = consterm.cc
equals_SOURCES = equals.cc
genltl_SOURCES = genltl.cc
length_SOURCES = length.cc
@ -86,6 +88,7 @@ TESTS = \
tunabbrev.test \
nenoform.test \
tunenoform.test \
consterm.test \
syntimpl.test \
reduc.test \
reduccmp.test