Alexandre Duret-Lutz aa230d1f8b 80 columns. ... * src/ltlvisit/apcollect.hh, src/taalgos/minimize.cc, src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: Here.		2012-08-21 14:21:31 +02:00
..
dotty.cc	Clean up dotty output of TAs.	2012-08-21 14:21:31 +02:00
dotty.hh	Preliminary implementation of Testing Automata.	2012-07-15 18:10:00 +02:00
emptinessta.cc	Fixes to pass sanity checks.	2012-08-21 14:21:30 +02:00
emptinessta.hh	Fixes to pass sanity checks.	2012-08-21 14:21:30 +02:00
Makefile.am	Fix ta/ and taalgos/ include path for VPATH builds.	2012-08-21 14:21:30 +02:00
minimize.cc	80 columns.	2012-08-21 14:21:31 +02:00
minimize.hh	Fix tgta_explicit not to inherit from ta_explicit to please clang++.	2012-08-21 14:21:31 +02:00
reachiter.cc	Add a new form of TA with a Single-pass emptiness check (STA)	2012-07-15 18:10:01 +02:00
reachiter.hh	Add Testing Automata Product & Emptiness Check	2012-07-15 18:10:00 +02:00
statessetbuilder.cc	Add TA minimization: merge bisimulating states	2012-07-15 18:10:00 +02:00
statessetbuilder.hh	Add TA minimization: merge bisimulating states	2012-07-15 18:10:00 +02:00
stats.cc	Add Testing Automata Product & Emptiness Check	2012-07-15 18:10:00 +02:00
stats.hh	Add Testing Automata Product & Emptiness Check	2012-07-15 18:10:00 +02:00
tgba2ta.cc	80 columns.	2012-08-21 14:21:31 +02:00
tgba2ta.hh	Fixes to pass sanity checks.	2012-08-21 14:21:30 +02:00