@@ -379,7 +379,7 @@ class SetOfStates : public Abstract::SetOfStates {
379379 if (this ->labelIndex .find (l) != this ->labelIndex .end ()) {
380380 return *this ->labelIndex [l];
381381 }
382- throw CException (" error - state not found in FiniteStateMachine::_withLabel" );
382+ throw MaxPlus:: CException (" error - state not found in FiniteStateMachine::_withLabel" );
383383 }
384384
385385 bool hasStateWithLabel (StateLabelType l) {
@@ -544,7 +544,7 @@ class FiniteStateMachine : public Abstract::FiniteStateMachine {
544544
545545 [[nodiscard]] StateRef<StateLabelType, EdgeLabelType> getInitialState () const override {
546546 if (this ->initialStates .empty ()) {
547- throw CException (" FSM has no initial state." );
547+ throw MaxPlus:: CException (" FSM has no initial state." );
548548 }
549549 auto s = this ->initialStates .begin ();
550550 return dynamic_cast <StateRef<StateLabelType, EdgeLabelType>>(*s);
@@ -955,34 +955,34 @@ namespace StateStringLabeled {
955955// make an FSM class with unlabeled edges, based on the labeled one with some dummy char labels
956956//
957957
958- class State : public Labeled ::State<CString, char > {
958+ class State : public Labeled ::State<MaxPlus:: CString, char > {
959959public:
960- explicit State (const CString &withLabel) : Labeled::State<CString, char>(withLabel) {}
960+ explicit State (const MaxPlus:: CString &withLabel) : Labeled::State<MaxPlus:: CString, char>(withLabel) {}
961961
962962 const Abstract::SetOfEdgeRefs &getOutgoingEdges () {
963963 return dynamic_cast <const Abstract::SetOfEdgeRefs &>(
964- Labeled::State<CString, char >::getOutgoingEdges ());
964+ Labeled::State<MaxPlus:: CString, char >::getOutgoingEdges ());
965965 }
966966};
967967
968- class FiniteStateMachine : public Labeled ::FiniteStateMachine<CString, char > {
968+ class FiniteStateMachine : public Labeled ::FiniteStateMachine<MaxPlus:: CString, char > {
969969public:
970- [[nodiscard]] Labeled::StateRef<CString, char > getInitialState () const override {
971- return dynamic_cast <Labeled::StateRef<CString, char >>(Labeled::FiniteStateMachine<CString, char >::getInitialState ());
970+ [[nodiscard]] Labeled::StateRef<MaxPlus:: CString, char > getInitialState () const override {
971+ return dynamic_cast <Labeled::StateRef<MaxPlus:: CString, char >>(Labeled::FiniteStateMachine<MaxPlus:: CString, char >::getInitialState ());
972972 };
973973
974- void setInitialStateLabeled (const CString &sl);
974+ void setInitialStateLabeled (const MaxPlus:: CString &sl);
975975
976- void addStateLabeled (const CString &sl);
976+ void addStateLabeled (const MaxPlus:: CString &sl);
977977
978978 void addEdge (State *src, State *dst);
979979
980- void addEdgeLabeled (const CString &src, const CString &dst);
980+ void addEdgeLabeled (const MaxPlus:: CString &src, const MaxPlus:: CString &dst);
981981
982982 std::shared_ptr<Abstract::SetOfStateRefs> reachableStates ();
983983};
984984
985- class Edge : public Labeled ::Edge<CString, char > {};
985+ class Edge : public Labeled ::Edge<MaxPlus:: CString, char > {};
986986} // namespace StateStringLabeled
987987
988988namespace Product {
0 commit comments