Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes

MaxPlusAnalysis::SymbolicState Class Reference

#include <mpstorage.h>

Collaboration diagram for MaxPlusAnalysis::SymbolicState:
Collaboration graph
[legend]

List of all members.

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

Here is the call graph for this function:

MaxPlusAnalysis::SymbolicState::SymbolicState ( size_t  sz  ) 

References initSize().

Here is the call graph for this function:

MaxPlusAnalysis::SymbolicState::~SymbolicState (  ) 

References size, and table.

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

Here is the call graph for this function:

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

Here is the call graph for this function:

SymbolicToken * MaxPlusAnalysis::SymbolicState::firstToken ( void   ) 

References currentChannelIndex, currentTokenIndex, and nextToken().

Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().

Here is the call graph for this function:

SymbolicTokenFIFO* MaxPlusAnalysis::SymbolicState::get ( unsigned int  i  )  [inline]
size_t MaxPlusAnalysis::SymbolicState::getSize ( void   )  [inline]
void MaxPlusAnalysis::SymbolicState::initSize ( size_t  sz  )  [private]

References size, and table.

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

Here is the call graph for this function:

unsigned int MaxPlusAnalysis::SymbolicState::numberOfTokens (  ) 

References MaxPlusAnalysis::SymbolicTokenFIFO::size(), size, and table.

Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().

Here is the call graph for this function:

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

Here is the call graph for this function:

void MaxPlusAnalysis::SymbolicState::streamOn ( std::ostream &  s  ) 

References size, MaxPlusAnalysis::SymbolicTokenFIFO::streamOn(), and table.

Here is the call graph for this function:

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

Here is the call graph for this function:

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

SymbolicTokenFIFO** MaxPlusAnalysis::SymbolicState::table [private]

Referenced by actorEnabled(), initSize(), nextToken(), numberOfTokens(), streamOn(), zeroState(), and ~SymbolicState().

The documentation for this class was generated from the following files: