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

* src/tgbalagos/stats.hh, src/tgbalagos/stats.cc: New files.

Browse source 
* src/tgbalagos/Makefile.am: Add them.
* wrap/python/spot.i: Include src/tgbalagos/dupexp.hh and
src/tgbalagos/stats.hh
This commit is contained in:
Alexandre Duret-Lutz 2004-02-02 17:32:01 +00:00
parent d13c9c179b
commit 834ce05235
5 changed files with 116 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tgbaalgos/Makefile.am
View file

@ -34,7 +34,8 @@ tgbaalgos_HEADERS = \
magic.hh \
powerset.hh \
reachiter.hh \
save.hh
save.hh \
stats.hh
noinst_LTLIBRARIES = libtgbaalgos.la
libtgbaalgos_la_SOURCES = \
@ -47,4 +48,5 @@ libtgbaalgos_la_SOURCES = \
magic.cc \
powerset.cc \
reachiter.cc \
save.cc
save.cc \
stats.cc