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().