drop dependency on AutomatonFeatures header

alib2algo/src/automaton/convert/ToPostfixPushdownAutomaton.cpp

@@ -21,6 +21,8 @@
 #include <registration/AlgoRegistration.hpp>
+#include <alphabet/RankedSymbol.h>
+
 namespace automaton {
 namespace convert {

alib2algo/src/automaton/convert/ToRegExpAlgebraic.h

@@ -9,7 +9,10 @@
 #define AUTOMATON_TO_REG_EXP_ALGEBRAIC_H_
 #include <regexp/unbounded/UnboundedRegExp.h>
-#include <automaton/AutomatonFeatures.h>
+#include <automaton/FSM/EpsilonNFA.h>
+#include <automaton/FSM/MultiInitialStateNFA.h>
+#include <automaton/FSM/NFA.h>
+#include <automaton/FSM/DFA.h>
 namespace automaton {
@@ -31,7 +34,7 @@ public:
 	static regexp::UnboundedRegExp < > convert(const automaton::EpsilonNFA < > & automaton);
 	static regexp::UnboundedRegExp < > convert(const automaton::MultiInitialStateNFA < > & automaton);
 	static regexp::UnboundedRegExp < > convert(const automaton::NFA < > & automaton);
-	static regexp::UnboundedRegExp < > convert(const automaton::DFA<>& automaton);
+	static regexp::UnboundedRegExp < > convert(const automaton::DFA < > & automaton);
 };
 } /* namespace convert */

alib2algo/src/automaton/determinize/Determinize.h

@@ -10,14 +10,27 @@
 #include <alib/set>
-#include <automaton/Automaton.h>
-#include <automaton/AutomatonFeatures.h>
+#include <automaton/PDA/InputDrivenNPDA.h>
+#include <automaton/PDA/InputDrivenDPDA.h>
+#include <automaton/PDA/RealTimeHeightDeterministicNPDA.h>
+#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
+#include <automaton/PDA/VisiblyPushdownNPDA.h>
+#include <automaton/PDA/VisiblyPushdownDPDA.h>
+#include <automaton/FSM/NFA.h>
+#include <automaton/FSM/DFA.h>
+#include <automaton/FSM/MultiInitialStateNFA.h>
+#include <automaton/TA/NFTA.h>
+#include <automaton/TA/DFTA.h>
 #include <automaton/transform/PDAToRHPDA.h>
 #include <automaton/transform/RHPDAToPDA.h>
-#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
+#include <automaton/PDA/NPDA.h>
 #include <automaton/PDA/DPDA.h>
+#include <automaton/PDA/SinglePopNPDA.h>
+#include <automaton/PDA/SinglePopDPDA.h>
+
+#include <automaton/TM/OneTapeDTM.h>
 namespace automaton {

alib2algo/src/automaton/transform/PDAToRHPDA.h

@@ -8,7 +8,10 @@
 #ifndef PDA_TO_RHPDA_H_
 #define PDA_TO_RHPDA_H_
-#include "automaton/AutomatonFeatures.h"
+#include <automaton/PDA/RealTimeHeightDeterministicNPDA.h>
+#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
+#include <automaton/PDA/NPDA.h>
+#include <automaton/PDA/DPDA.h>
 namespace automaton {

alib2algo/src/automaton/transform/RHPDAToPDA.h

@@ -8,7 +8,11 @@
 #ifndef RHPDA_TO_PDA_H_
 #define RHPDA_TO_PDA_H_
-#include "automaton/AutomatonFeatures.h"
+#include <automaton/PDA/RealTimeHeightDeterministicNPDA.h>
+#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
+#include <automaton/PDA/NPDA.h>
+#include <automaton/PDA/DPDA.h>
+
 namespace automaton {