MaxPlusAnalysis::SymbolicState Class Reference
#include <mpstorage.h>
Public Member Functions | |
SymbolicState (Graph *G) | |
SymbolicState (size_t sz) | |
~SymbolicState () | |
SymbolicToken * | consume (Port *p) |
void | produce (Port *p, SymbolicToken *t) |
bool | actorEnabled (Actor *a) |
void | streamOn (std::ostream &s) |
size_t | getSize () |
SymbolicTokenFIFO * | get (unsigned int i) |
unsigned int | numberOfTokens () |
SymbolicToken * | firstToken (void) |
SymbolicToken * | nextToken (void) |
Static Public Member Functions | |
static SymbolicState * | zeroState (Graph *G) |
Private Member Functions | |
void | initSize (size_t sz) |
Private Attributes | |
size_t | size |
SymbolicTokenFIFO ** | table |
unsigned int | currentChannelIndex |
unsigned int | currentTokenIndex |
Detailed Description
class SymbolicState
Constructor & Destructor Documentation
MaxPlusAnalysis::SymbolicState::SymbolicState | ( | GraphDecoration::Graph * | G | ) |
References MaxPlusAnalysis::GraphDecoration::Graph::channels, and initSize().
Referenced by zeroState().
MaxPlusAnalysis::SymbolicState::SymbolicState | ( | size_t | sz | ) |
Member Function Documentation
bool MaxPlusAnalysis::SymbolicState::actorEnabled | ( | Actor * | a | ) |
References MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, MaxPlusAnalysis::GraphDecoration::Port::rate, MaxPlusAnalysis::SymbolicTokenFIFO::size(), and table.
Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().
SymbolicToken* MaxPlusAnalysis::SymbolicState::consume | ( | Port * | p | ) | [inline] |
References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Port::rate, and MaxPlusAnalysis::SymbolicTokenFIFO::removeFirstN().
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fireSymbolic().
SymbolicToken * MaxPlusAnalysis::SymbolicState::firstToken | ( | void | ) |
References currentChannelIndex, currentTokenIndex, and nextToken().
Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().
SymbolicTokenFIFO* MaxPlusAnalysis::SymbolicState::get | ( | unsigned int | i | ) | [inline] |
size_t MaxPlusAnalysis::SymbolicState::getSize | ( | void | ) | [inline] |
void MaxPlusAnalysis::SymbolicState::initSize | ( | size_t | sz | ) | [private] |
Referenced by SymbolicState().
SymbolicToken * MaxPlusAnalysis::SymbolicState::nextToken | ( | void | ) |
References currentChannelIndex, currentTokenIndex, MaxPlusAnalysis::SymbolicTokenFIFO::peek(), size, MaxPlusAnalysis::SymbolicTokenFIFO::size(), and table.
Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix(), and firstToken().
unsigned int MaxPlusAnalysis::SymbolicState::numberOfTokens | ( | ) |
References MaxPlusAnalysis::SymbolicTokenFIFO::size(), size, and table.
Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().
void MaxPlusAnalysis::SymbolicState::produce | ( | Port * | p, | |
SymbolicToken * | t | |||
) | [inline] |
References MaxPlusAnalysis::SymbolicTokenFIFO::append(), c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, and MaxPlusAnalysis::GraphDecoration::Port::rate.
Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fireSymbolic().
void MaxPlusAnalysis::SymbolicState::streamOn | ( | std::ostream & | s | ) |
References size, MaxPlusAnalysis::SymbolicTokenFIFO::streamOn(), and table.
SymbolicState * MaxPlusAnalysis::SymbolicState::zeroState | ( | GraphDecoration::Graph * | G | ) | [static] |
References MaxPlusAnalysis::SymbolicTokenFIFO::append(), c, MaxPlusAnalysis::GraphDecoration::Graph::channels, MaxPlusAnalysis::SymbolicToken::initialToken(), MaxPlusAnalysis::GraphDecoration::Channel::nrInitialTokens, MaxPlusAnalysis::GraphDecoration::Graph::stateSize, SymbolicState(), MaxPlusAnalysis::GraphDecoration::Channel::synchStorage, and table.
Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().
Member Data Documentation
unsigned int MaxPlusAnalysis::SymbolicState::currentChannelIndex [private] |
Referenced by firstToken(), and nextToken().
unsigned int MaxPlusAnalysis::SymbolicState::currentTokenIndex [private] |
Referenced by firstToken(), and nextToken().
size_t MaxPlusAnalysis::SymbolicState::size [private] |
Referenced by initSize(), nextToken(), numberOfTokens(), streamOn(), and ~SymbolicState().
Referenced by actorEnabled(), initSize(), nextToken(), numberOfTokens(), streamOn(), zeroState(), and ~SymbolicState().
The documentation for this class was generated from the following files: