typing inconsistencies

Author: MarcG-TUE

include/maxplus/base/fsm/fsm.h

@@ -422,6 +422,12 @@ class SetOfEdges : public Abstract::SetOfEdges {
     using CIter = typename Abstract::SetOfEdges::const_iterator;
 };
 
+template <typename StateLabelType, typename EdgeLabelType>
+class SetOfEdgeRefs : public Abstract::SetOfEdgeRefs {
+public:
+};
+
+
 template <typename StateLabelType, typename EdgeLabelType>
 using StateRef = const State<StateLabelType, EdgeLabelType> *;
 

include/maxplus/graph/mpautomaton.h

@@ -150,8 +150,8 @@ using MPAEdgeRef = ::FSM::Labeled::EdgeRef<MPAStateLabel, MPAEdgeLabel>;
 using MPAPath = std::list<MPAEdgeRef>;
 using MPASetOfStates = ::FSM::Labeled::SetOfStates<MPAStateLabel, MPAEdgeLabel>;
 using MPASetOfStateRefs = ::FSM::Labeled::SetOfStateRefs<MPAStateLabel, MPAEdgeLabel>;
-using MPASetOfEdges = ::FSM::Abstract::SetOfEdges;
-using MPASetOfEdgeRefs = ::FSM::Abstract::SetOfEdgeRefs;
+using MPASetOfEdges = ::FSM::Labeled::SetOfEdges<MPAStateLabel, MPAEdgeLabel>;
+using MPASetOfEdgeRefs = ::FSM::Labeled::SetOfEdgeRefs<MPAStateLabel, MPAEdgeLabel>;
 
 /**
  * A max-plus automaton