1noinst_LIBRARIES = libtemporal.a 2 3libtemporal_a_CPPFLAGS = -I$(top_srcdir)/src/Utility 4 5libtemporal_a_SOURCES = \ 6 logicFormula.cc \ 7 buchiAutomaton2.cc \ 8 transitionSet.cc \ 9 veryWeakAlternatingAutomaton.cc \ 10 rawTransitionSet.cc \ 11 genBuchiAutomaton.cc \ 12 modelChecker2.cc 13 14EXTRA_DIST = \ 15 collapseStates.cc \ 16 sccOptimizations.cc \ 17 sccAnalysis.cc \ 18 satSolve.cc 19 20noinst_HEADERS = \ 21 buchiAutomaton2.hh \ 22 genBuchiAutomaton.hh \ 23 logicFormula.hh \ 24 modelChecker2.hh \ 25 rawTransitionSet.hh \ 26 temporal.hh \ 27 transitionSet.hh \ 28 veryWeakAlternatingAutomaton.hh 29