FSMSADF::MPExplore::Token Class Reference
#include <mpexplore.h>
Collaboration diagram for FSMSADF::MPExplore::Token:
Public Member Functions | |
Token () | |
Token (MPTime t) | |
Public Attributes | |
MPTime | productionTime |
Detailed Description
class Token Token represents a MaxPlus timestamped token in a graph.
Constructor & Destructor Documentation
FSMSADF::MPExplore::Token::Token | ( | ) | [inline] |
FSMSADF::MPExplore::Token::Token | ( | MPTime | t | ) | [inline] |
Member Data Documentation
Referenced by FSMSADF::MPExplore::TokenFIFO::removeFirstN().
The documentation for this class was generated from the following file: