add NPDA callback to astat

astat2/src/AutomataStat.cpp

@@ -15,6 +15,7 @@
 #include <automaton/PDA/InputDrivenDPDA.h>
 #include <automaton/PDA/DPDA.h>
+#include <automaton/PDA/NPDA.h>
 void AutomataStat::stat ( const automaton::Automaton & automaton, const AutomataSettings & settings ) {
 	dispatch ( automaton.getData ( ), settings );
@@ -60,6 +61,16 @@ void AutomataStat::stat ( const automaton::InputDrivenDPDA & automaton, const Au
 auto AutomataStatInputDrivenDPDA = AutomataStat::RegistratorWrapper < void, automaton::InputDrivenDPDA > ( AutomataStat::stat );
+void AutomataStat::stat ( const automaton::NPDA & automaton, const AutomataSettings & settings ) {
+	Printer::PrintSet ( settings.states, automaton.getStates ( ) );
+	Printer::PrintSet ( settings.finalStates, automaton.getFinalStates ( ) );
+	Printer::PrintValue ( settings.initialStates, automaton.getInitialState ( ) );
+	Printer::PrintSet ( settings.inputAlphabet, automaton.getInputAlphabet ( ) );
+	Printer::PrintMap ( settings.transitions, automaton.getTransitions ( ) );
+}
+
+auto AutomataStatNPDA = AutomataStat::RegistratorWrapper < void, automaton::NPDA > ( AutomataStat::stat );
+
 void AutomataStat::stat ( const automaton::DPDA & automaton, const AutomataSettings & settings ) {
 	Printer::PrintSet ( settings.states, automaton.getStates ( ) );
 	Printer::PrintSet ( settings.finalStates, automaton.getFinalStates ( ) );

astat2/src/AutomataStat.h

@@ -26,6 +26,7 @@ public:
 	static void stat ( const automaton::InputDrivenDPDA & automaton, const AutomataSettings & settings );
 	static void stat ( const automaton::DPDA & automaton, const AutomataSettings & settings );
+	static void stat ( const automaton::NPDA & automaton, const AutomataSettings & settings );
 };
 #endif /* AUTOMATA_STAT_H_ */