Public Member Functions | Private Attributes

MaxPlusAnalysis::SymbolicTokenFIFO Class Reference

#include <mpstorage.h>

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

List of all members.

Public Member Functions

 SymbolicTokenFIFO (int sz)
void append (SymbolicToken *t, int n)
SymbolicToken * removeFirstN (int n)
SymbolicToken * peek (unsigned int n)
int size ()
void streamOn (std::ostream &s)

Private Attributes

SymbolicToken ** tokens
int asize
int begin
int end

Detailed Description

class SymbolicTokenFIFO

Constructor & Destructor Documentation

MaxPlusAnalysis::SymbolicTokenFIFO::SymbolicTokenFIFO ( int  sz  ) 

References asize, begin, end, and tokens.

Member Function Documentation

void MaxPlusAnalysis::SymbolicTokenFIFO::append ( SymbolicToken *  t,
int  n 
) [inline]

Referenced by MaxPlusAnalysis::SymbolicState::produce(), and MaxPlusAnalysis::SymbolicState::zeroState().

SymbolicToken* MaxPlusAnalysis::SymbolicTokenFIFO::peek ( unsigned int  n  )  [inline]

Referenced by MaxPlusAnalysis::SymbolicState::nextToken().

SymbolicToken* MaxPlusAnalysis::SymbolicTokenFIFO::removeFirstN ( int  n  )  [inline]

References MaxPlusAnalysis::SymbolicToken::copy(), and MaxPlusAnalysis::SymbolicToken::maxWith().

Referenced by MaxPlusAnalysis::SymbolicState::consume().

Here is the call graph for this function:

int MaxPlusAnalysis::SymbolicTokenFIFO::size (  ) 

References asize, begin, and end.

Referenced by MaxPlusAnalysis::SymbolicState::actorEnabled(), MaxPlusAnalysis::SymbolicState::nextToken(), and MaxPlusAnalysis::SymbolicState::numberOfTokens().

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

References asize, begin, end, MaxPlusAnalysis::SymbolicToken::streamOn(), and tokens.

Referenced by MaxPlusAnalysis::SymbolicState::streamOn().

Here is the call graph for this function:

Member Data Documentation

int MaxPlusAnalysis::SymbolicTokenFIFO::asize [private]

Referenced by size(), streamOn(), and SymbolicTokenFIFO().

int MaxPlusAnalysis::SymbolicTokenFIFO::begin [private]

Referenced by size(), streamOn(), and SymbolicTokenFIFO().

int MaxPlusAnalysis::SymbolicTokenFIFO::end [private]

Referenced by size(), streamOn(), and SymbolicTokenFIFO().

SymbolicToken** MaxPlusAnalysis::SymbolicTokenFIFO::tokens [private]

Referenced by streamOn(), and SymbolicTokenFIFO().

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