modify edge labels

Author: MarcG-TUE

include/maxplus/base/fsm/fsm.h

@@ -687,6 +687,11 @@ class FiniteStateMachine : public Abstract::FiniteStateMachine {
         return nullptr;
     };
 
+    void setEdgeLabel(const EdgeRef<StateLabelType, EdgeLabelType>& e, const EdgeLabelType& l) {
+        auto ee = std::dynamic_pointer_cast<Edge<StateLabelType, EdgeLabelType>>((*this->edges.find(e->getId())).second);
+        ee->setLabel(l);
+    }
+
     StateRef<StateLabelType, EdgeLabelType> checkStateLabeled(const StateLabelType &l) {
         if (this->states.hasStateWithLabel(l)) {
             return &(this->states.withLabel(l));

src/testbench/graph/mpautomatontest.cc

@@ -163,7 +163,9 @@ void MPAutomatonTest::testDetectCycleFSM() {
         fsa.addEdge(*s0, 2, *s1);
         fsa.addEdge(*s1, 2, *s2);
         fsa.addEdge(*s2, 2, *s3);
-        fsa.addEdge(*s3, 2, *s1);
+        auto e = fsa.addEdge(*s3, 2, *s1);
+
+        fsa.setEdgeLabel(e, 5);
 
         FSM::Abstract::DetectCycle DC(fsa);
         bool hasCycle = DC.checkForCycles();