fix use template parameter

alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverOutgoing.h

@@ -66,19 +66,19 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > EpsilonRemoverOutgoing
 	fsm.setFinalStates ( origFSM.getFinalStates ( ) );
 	fsm.setInputAlphabet ( origFSM.getInputAlphabet ( ) );
-	std::map < label::Label, std::set < label::Label > > closures = automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( origFSM );
-	std::map < std::pair < label::Label, alphabet::Symbol >, std::set < label::Label > > transitions = origFSM.getSymbolTransitions ( );
-	for ( const std::pair < const std::pair < label::Label, alphabet::Symbol >, std::set < label::Label > > & transition : transitions )
-		for ( const label::Label & to : transition.second )
-			for ( const label::Label & toClosure : closures [ to ] )
+	std::map < StateType, std::set < StateType > > closures = automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( origFSM );
+	std::map < std::pair < StateType, SymbolType >, std::set < StateType > > transitions = origFSM.getSymbolTransitions ( );
+	for ( const std::pair < const std::pair < StateType, SymbolType >, std::set < StateType > > & transition : transitions )
+		for ( const StateType & to : transition.second )
+			for ( const StateType & toClosure : closures [ to ] )
 				fsm.addTransition ( transition.first.first, transition.first.second, toClosure );
 	/**
 	 * Step 2 from Melichar 2.41
 	 */
-	const std::set < label::Label > & cl = closures [ origFSM.getInitialState ( ) ];
+	const std::set < StateType > & cl = closures [ origFSM.getInitialState ( ) ];
 	fsm.setInitialStates ( cl );
 	return fsm;