Skip to content
Snippets Groups Projects
Commit b736da0f authored by Jan Trávníček's avatar Jan Trávníček
Browse files

fix type mix-up

parent 5f5d8df8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
alib2algo/src/automaton/generate/RandomizeAutomaton.h
+ 4
− 4
View file @ b736da0f
...@@ -83,7 +83,7 @@ automaton::DFA < SymbolType, StateType > RandomizeAutomaton::randomize(const aut ...@@ -83,7 +83,7 @@ automaton::DFA < SymbolType, StateType > RandomizeAutomaton::randomize(const aut
for ( const StateType & finalState : origFSM.getFinalStates ( ) ) for ( const StateType & finalState : origFSM.getFinalStates ( ) )
res.addFinalState ( statePermutationMap.find ( finalState )->second ); res.addFinalState ( statePermutationMap.find ( finalState )->second );
   
for ( const std::pair < std::pair < StateType, SymbolType >, SymbolType > & transition : origFSM.getTransitions ( ) ) for ( const std::pair < std::pair < StateType, SymbolType >, StateType > & transition : origFSM.getTransitions ( ) )
res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( transition.second )->second ); res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( transition.second )->second );
   
return res; return res;
...@@ -104,7 +104,7 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > RandomizeAutomaton::ra ...@@ -104,7 +104,7 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > RandomizeAutomaton::ra
for ( const StateType & finalState : origFSM.getFinalStates ( ) ) for ( const StateType & finalState : origFSM.getFinalStates ( ) )
res.addFinalState ( statePermutationMap.find ( finalState )->second ); res.addFinalState ( statePermutationMap.find ( finalState )->second );
   
for ( const std::pair < std::pair < StateType, SymbolType >, ext::set < SymbolType > > & transition : origFSM.getTransitions ( ) ) for ( const std::pair < std::pair < StateType, SymbolType >, ext::set < StateType > > & transition : origFSM.getTransitions ( ) )
for ( const StateType & target : transition.second ) for ( const StateType & target : transition.second )
res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second ); res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second );
   
...@@ -123,7 +123,7 @@ automaton::NFA < SymbolType, StateType > RandomizeAutomaton::randomize(const aut ...@@ -123,7 +123,7 @@ automaton::NFA < SymbolType, StateType > RandomizeAutomaton::randomize(const aut
for ( const StateType & finalState : origFSM.getFinalStates ( ) ) for ( const StateType & finalState : origFSM.getFinalStates ( ) )
res.addFinalState ( statePermutationMap.find ( finalState )->second ); res.addFinalState ( statePermutationMap.find ( finalState )->second );
   
for ( const std::pair < std::pair < StateType, SymbolType >, ext::set < SymbolType > > & transition : origFSM.getTransitions ( ) ) for ( const std::pair < std::pair < StateType, SymbolType >, ext::set < StateType > > & transition : origFSM.getTransitions ( ) )
for ( const StateType & target : transition.second ) for ( const StateType & target : transition.second )
res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second ); res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second );
   
...@@ -142,7 +142,7 @@ automaton::EpsilonNFA < SymbolType, EpsilonType, StateType > RandomizeAutomaton: ...@@ -142,7 +142,7 @@ automaton::EpsilonNFA < SymbolType, EpsilonType, StateType > RandomizeAutomaton:
for ( const StateType & finalState : origFSM.getFinalStates ( ) ) for ( const StateType & finalState : origFSM.getFinalStates ( ) )
res.addFinalState ( statePermutationMap.find ( finalState )->second ); res.addFinalState ( statePermutationMap.find ( finalState )->second );
   
for ( const std::pair < std::pair < StateType, ext::variant < EpsilonType, SymbolType > >, ext::set < SymbolType > > & transition : origFSM.getTransitions ( ) ) for ( const std::pair < std::pair < StateType, ext::variant < EpsilonType, SymbolType > >, ext::set < StateType > > & transition : origFSM.getTransitions ( ) )
for ( const StateType & target : transition.second ) for ( const StateType & target : transition.second )
res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second ); res.addTransition ( statePermutationMap.find ( transition.first.first )->second, transition.first.second, statePermutationMap.find ( target )->second );
   
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment