MaxPlusAnalysis::SymbolicTokenFIFO Class Reference
#include <mpstorage.h>
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 | ) |
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().
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().
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().
Referenced by streamOn(), and SymbolicTokenFIFO().
The documentation for this class was generated from the following files: