csdf/analysis/buffersizing/buffer.cc File Reference
#include "buffer.h"
#include "../throughput/throughput.h"
Include dependency graph for csdf/analysis/buffersizing/buffer.cc:
Defines | |
#define | CH(c) currentState.ch[c] |
#define | SP(c) currentState.sp[c] |
#define | CH_TOKENS(c, n) (CH(c) >= n) |
#define | CH_SPACE(c, n) (SP(c) >= n) |
#define | CONSUME(c, n) CH(c) = CH(c) - n; |
#define | PRODUCE(c, n) CH(c) = CH(c) + n; |
#define | CONSUME_SP(c, n) SP(c) = SP(c) - n; |
#define | PRODUCE_SP(c, n) SP(c) = SP(c) + n; |
#define | CH_TOKENS_PREV(c, n) (previousState.ch[c] >= n) |
#define | CH_SPACE_PREV(c, n) (previousState.sp[c] >= n) |
#define | ACT_SEQ_POS(a) currentState.actSeqPos[a] |
Define Documentation
Referenced by CSDFstateSpaceBufferAnalysis::TransitionSystem::actorReadyToFire(), CSDFstateSpaceBufferAnalysis::TransitionSystem::analyzeDeadlock(), CSDFstateSpaceBufferAnalysis::TransitionSystem::endActorFiring(), CSDFstateSpaceBufferAnalysis::TransitionSystem::findCausalDependencies(), and CSDFstateSpaceBufferAnalysis::TransitionSystem::startActorFiring().