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

#define CH

(

c

)

currentState.ch[c]

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph().

#define CH_TOKENS	(		c,
			n
	)			(CH(c) >= n)

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::actorReadyToFire().

#define CONSUME	(		c,
			n
	)			CH(c) = CH(c) - n;

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor().

#define PRODUCE	(		c,
			n
	)			CH(c) = CH(c) + n;

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor().