MaxPlusAnalysis::GraphDecoration::Channel Class Reference

#include <mpexplore.h>

List of all members.

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


The documentation for this class was generated from the following file: