Header files for missing automata types

d65818cb · Jan Trávníček · 0b99fc57 · d65818cb · d65818cb · d65818cb
Commit d65818cb authored 10 years ago by Jan Trávníček
--- a/alib2/src/automaton/Counter/OneCounter.h
+++ b/alib2/src/automaton/Counter/OneCounter.h
--- a/alib2/src/automaton/Counter/TwoCounter.h
+++ b/alib2/src/automaton/Counter/TwoCounter.h
--- a/alib2/src/automaton/TA/TreeAutomaton.h
+++ b/alib2/src/automaton/TA/TreeAutomaton.h