Skip to content

Commit aff6444

Browse files
committed
missing types
1 parent d320de6 commit aff6444

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

include/maxplus/graph/mpautomaton.h

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -147,8 +147,11 @@ using MPAState = ::FSM::Labeled::State<MPAStateLabel, MPAEdgeLabel>;
147147
using MPAStateRef = ::FSM::Labeled::StateRef<MPAStateLabel, MPAEdgeLabel>;
148148
using MPAEdge = ::FSM::Labeled::Edge<MPAStateLabel, MPAEdgeLabel>;
149149
using MPAEdgeRef = ::FSM::Labeled::EdgeRef<MPAStateLabel, MPAEdgeLabel>;
150+
using MPAPath = std::list<MPAEdgeRef>;
150151
using MPASetOfStates = ::FSM::Labeled::SetOfStates<MPAStateLabel, MPAEdgeLabel>;
152+
using MPASetOfStateRefs = ::FSM::Labeled::SetOfStateRefs<MPAStateLabel, MPAEdgeLabel>;
151153
using MPASetOfEdges = ::FSM::Abstract::SetOfEdges;
154+
using MPASetOfEdgeRefs = ::FSM::Abstract::SetOfEdgeRefs;
152155

153156
/**
154157
* A max-plus automaton

0 commit comments

Comments
 (0)