MaxPlusAnalysis::SymbolicToken Class Reference
#include <mpstorage.h>
Inheritance diagram for MaxPlusAnalysis::SymbolicToken:
Collaboration diagram for MaxPlusAnalysis::SymbolicToken:
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 | ) |
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: