MaxPlusAnalysis::SymbolicTokenFIFO Class Reference

#include <mpstorage.h>

Collaboration diagram for MaxPlusAnalysis::SymbolicTokenFIFO:

List of all members.

Public Member Functions

 SymbolicTokenFIFO (int sz)
void append (SymbolicToken *t, int n)
SymbolicTokenremoveFirstN (int n)
SymbolicTokenpeek (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]
SymbolicToken* MaxPlusAnalysis::SymbolicTokenFIFO::peek ( unsigned int  n  )  [inline]
SymbolicToken* MaxPlusAnalysis::SymbolicTokenFIFO::removeFirstN ( int  n  )  [inline]
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

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