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

fix invalid use of moves

parent cc40165d
No related branches found
No related tags found
No related merge requests found
......@@ -54,7 +54,7 @@ automaton::InputDrivenDPDA < > Determinize::determinize ( const automaton::Input
if ( !existed ) todo.push_back ( dfaState );
 
// 3b
res.addTransition ( std::move ( state ), input, std::move ( dfaState ) );
res.addTransition ( state, input, std::move ( dfaState ) );
}
} while ( !todo.empty ( ) );
 
......
......@@ -48,10 +48,10 @@ automaton::DFA<> Determinize::determinize ( const automaton::MultiInitialStateNF
// 4
bool existed = !res.addState ( dfaState );
 
if ( !existed ) todo.push_back ( std::move ( dfaState ) );
if ( !existed ) todo.push_back ( dfaState );
 
// 3b
res.addTransition ( std::move ( state ), input, std::move ( dfaState ) );
res.addTransition ( state, input, std::move ( dfaState ) );
}
} while ( !todo.empty ( ) );
 
......@@ -104,7 +104,7 @@ automaton::DFA<> Determinize::determinize ( const automaton::NFA < > & nfa ) {
if ( !existed ) todo.push_back ( dfaState );
 
// 3b
res.addTransition ( std::move ( state ), input, std::move ( dfaState ) );
res.addTransition ( state, input, std::move ( dfaState ) );
}
} while ( !todo.empty ( ) );
 
......
......@@ -17,7 +17,7 @@ namespace automaton {
namespace determinize {
 
label::Label createDFAState ( std::set < label::Label > nfaStates ) {
return label::Label ( label::Label ( label::LabelSetLabel ( std::move ( nfaStates ) ) ) );
return label::Label ( label::LabelSetLabel ( std::move ( nfaStates ) ) );
}
 
const std::set < label::Label > & recreateNFAStates ( const label::Label & dfaState ) {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment