diff --git a/alib2algo/src/automaton/determinize/DeterminizeIDPDAPart.cxx b/alib2algo/src/automaton/determinize/DeterminizeIDPDAPart.cxx index 992f2591415c043364d3b5a192bbec1b96a7c3d0..dbe1d138b183accdb8d2d77594b3b1071188150b 100644 --- a/alib2algo/src/automaton/determinize/DeterminizeIDPDAPart.cxx +++ b/alib2algo/src/automaton/determinize/DeterminizeIDPDAPart.cxx @@ -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 ( ) ); diff --git a/alib2algo/src/automaton/determinize/DeterminizeNFAPart.cxx b/alib2algo/src/automaton/determinize/DeterminizeNFAPart.cxx index 5fb8842c0e477125076784cbd2f706b3451d5898..e11a23052416388ba47a7cfa940586e26504f811 100644 --- a/alib2algo/src/automaton/determinize/DeterminizeNFAPart.cxx +++ b/alib2algo/src/automaton/determinize/DeterminizeNFAPart.cxx @@ -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 ( ) ); diff --git a/alib2algo/src/automaton/determinize/common/NFACommon.cpp b/alib2algo/src/automaton/determinize/common/NFACommon.cpp index 98f07a1db1b387e8c070e196969d73adc3e60207..87b98c9608fe74b8667b86783b6c2f4b54bd9097 100644 --- a/alib2algo/src/automaton/determinize/common/NFACommon.cpp +++ b/alib2algo/src/automaton/determinize/common/NFACommon.cpp @@ -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 ) {