MaxPlusAnalysis::GraphDecoration::Channel Class Reference
#include <mpexplore.h>
Public Attributes | |
unsigned int | index |
unsigned int | nrInitialTokens |
unsigned int | synchStorage |
unsigned int | repetitionVectorEntry |
unsigned int | stateStartIndex |
unsigned int | historyStartIndex |
bool | isStorageChannel |
Detailed Description
class Channel Decorates an SDF channel with information required for MaxPLus analysis
Member Data Documentation
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::Graph().
unsigned int MaxPlusAnalysis::GraphDecoration::Channel::index |
Referenced by MaxPlusAnalysis::SymbolicState::actorEnabled(), MaxPlusAnalysis::State::actorEnabled(), MaxPlusAnalysis::State::actorReverseEnabled(), MaxPlusAnalysis::SymbolicState::consume(), MaxPlusAnalysis::State::consume(), MaxPlusAnalysis::State::consume_back(), MaxPlusAnalysis::GraphDecoration::Graph::Graph(), MaxPlusAnalysis::SymbolicState::produce(), MaxPlusAnalysis::State::produce(), and MaxPlusAnalysis::State::produce_front().
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::Graph().
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::Graph().
The documentation for this class was generated from the following file: