mpstorage.h File Reference

#include "mpexplore.h"
#include <ext/hash_set>

Include dependency graph for mpstorage.h:

This graph shows which files directly or indirectly include this file:

Classes
class	MaxPlusAnalysis::Token
class	MaxPlusAnalysis::TokenFIFO_Dynamic
class	MaxPlusAnalysis::TokenFIFO_Static
class	MaxPlusAnalysis::State
class	MaxPlusAnalysis::TokenList
class	MaxPlusAnalysis::SymbolicToken
class	MaxPlusAnalysis::SymbolicTokenFIFO
class	MaxPlusAnalysis::SymbolicState
class	MaxPlusAnalysis::StateHasher
class	MaxPlusAnalysis::StateComparator
class	MaxPlusAnalysis::StoredStates
Namespaces
namespace	MaxPlusAnalysis
Defines
#define	TokenFIFO   TokenFIFO_Static

---

Define Documentation

#define TokenFIFO   TokenFIFO_Static

Referenced by MaxPlusAnalysis::State::add(), MaxPlusAnalysis::State::asStdVector(), MaxPlusAnalysis::State::asVector(), MaxPlusAnalysis::State::consume(), MaxPlusAnalysis::State::consume_back(), MaxPlusAnalysis::State::copy(), MaxPlusAnalysis::State::firstToken(), MaxPlusAnalysis::State::fromVector(), FSMSADF::MPExplore::State::fromVector(), FSMSADF::MPExplore::State::init(), FSMSADF::MPExploreBindingAware::State::initFifos(), MaxPlusAnalysis::State::initSize(), MaxPlusAnalysis::State::maxWith(), MaxPlusAnalysis::State::minus(), MaxPlusAnalysis::State::produce(), MaxPlusAnalysis::State::produce_front(), MaxPlusAnalysis::State::streamOn(), MaxPlusAnalysis::State::zeroScheduleState(), FSMSADF::MPExplore::State::zeroScheduleState(), MaxPlusAnalysis::State::zeroState(), and FSMSADF::MPExplore::State::zeroState().