File tree Expand file tree Collapse file tree 3 files changed +8
-5
lines changed Expand file tree Collapse file tree 3 files changed +8
-5
lines changed Original file line number Diff line number Diff line change @@ -17,4 +17,5 @@ CMakeSettings.json
1717* .vcxproj
1818* .sln
1919* .filters
20- compile_commands.json
20+ compile_commands.json
21+ .vscode
Original file line number Diff line number Diff line change @@ -564,8 +564,8 @@ class SetOfStates : public Abstract::SetOfStates {
564564 }
565565
566566 void addState (std::unique_ptr<State<StateLabelType, EdgeLabelType>> s) {
567- Abstract::SetOfStates::addState (std::move (s));
568567 this ->addToStateIndex (s->getLabel (), s.get ());
568+ Abstract::SetOfStates::addState (std::move (s));
569569 }
570570};
571571
@@ -879,8 +879,10 @@ class FiniteStateMachine : public Abstract::FiniteStateMachine {
879879 unprocessed.push_back (std::move (initialStateSet));
880880
881881 while (!unprocessed.empty ()) {
882- Abstract::SetOfStateRefs *Q = (unprocessed.begin ())->get ();
883- unprocessed.erase (unprocessed.begin ());
882+
883+ auto it = unprocessed.begin ();
884+ std::unique_ptr<Abstract::SetOfStateRefs> Q = std::move (*it);
885+ unprocessed.erase (it);
884886
885887 // get all outgoing labels
886888 std::set<EdgeLabelType> labels;
Original file line number Diff line number Diff line change @@ -24,7 +24,7 @@ void PolicyIterationTest::TearDown() {};
2424
2525void PolicyIterationTest::testPlayer1CycleTest () {
2626
27- std::cout << " Running test: Player1CycleTest" << std::endl ;
27+ std::cout << " Running test: Player1CycleTest\n " ;
2828
2929 MaxPlusGameAutomatonWithRewards mpa;
3030
You can’t perform that action at this time.
0 commit comments