Public Member Functions | Static Public Member Functions

MaxPlusAnalysis::SymbolicToken Class Reference

#include <mpstorage.h>

Inheritance diagram for MaxPlusAnalysis::SymbolicToken:
Inheritance graph
[legend]
Collaboration diagram for MaxPlusAnalysis::SymbolicToken:
Collaboration graph
[legend]

List of all members.

Public Member Functions

SymbolicToken * copy (void)
SymbolicToken * maxWith (SymbolicToken *t)
SymbolicToken * add (MPTime a)
void streamOn (std::ostream &s)

Static Public Member Functions

static SymbolicToken * zeroToken (unsigned int sz)
static SymbolicToken * initialToken (unsigned int sz, unsigned int n)

Detailed Description

class SymbolicToken

Member Function Documentation

SymbolicToken * MaxPlusAnalysis::SymbolicToken::add ( MPTime  a  ) 

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fireSymbolic().

SymbolicToken * MaxPlusAnalysis::SymbolicToken::copy ( void   ) 

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fireSymbolic(), and MaxPlusAnalysis::SymbolicTokenFIFO::removeFirstN().

SymbolicToken * MaxPlusAnalysis::SymbolicToken::initialToken ( unsigned int  sz,
unsigned int  n 
) [static]

References MaxPlus::MP_MINUSINFINITY.

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

SymbolicToken * MaxPlusAnalysis::SymbolicToken::maxWith ( SymbolicToken *  t  ) 

References MAX.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fireSymbolic(), and MaxPlusAnalysis::SymbolicTokenFIFO::removeFirstN().

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

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

SymbolicToken * MaxPlusAnalysis::SymbolicToken::zeroToken ( unsigned int  sz  )  [static]
The documentation for this class was generated from the following files: