deadlock.cc File Reference
#include "deadlock.h"
#include "../../base/algo/repetition_vector.h"
#include "../../base/algo/components.h"
Include dependency graph for deadlock.cc:
Defines | |
#define | CH(c) currentState.ch[c] |
#define | CH_TOKENS(c, n) (CH(c) >= n) |
#define | CONSUME(c, n) CH(c) = CH(c) - n; |
#define | PRODUCE(c, n) CH(c) = CH(c) + n; |
Define Documentation
Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor().
Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor().