FSMSADF::MPExploreBindingAware::Token Class Reference
#include <mpexplore_binding_aware.h>
Collaboration diagram for FSMSADF::MPExploreBindingAware::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::MPExploreBindingAware::Token::Token | ( | ) | [inline] |
FSMSADF::MPExploreBindingAware::Token::Token | ( | MPTime | t | ) | [inline] |
Member Data Documentation
Referenced by FSMSADF::MPExploreBindingAware::TokenFIFO::removeFirstN().
The documentation for this class was generated from the following file: