mpdependencies.cc File Reference
#include "mpdependencies.h"
#include "mpstorage.h"
Include dependency graph for mpdependencies.cc:
Variables | |
static Channel ** | criticalChannels |
static unsigned int | numberOfCriticalChannels = 0 |
Variable Documentation
Channel** criticalChannels [static] |
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire().
unsigned int numberOfCriticalChannels = 0 [static] |
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire().