The Sparta Modeling Framework
|
This is the complete list of members for sparta::tracker::StatePoolManager, including all inherited members.
dispatchNewTracker() | sparta::tracker::StatePoolManager | inline |
enableTracking() | sparta::tracker::StatePoolManager | inline |
flushPool() | sparta::tracker::StatePoolManager | inline |
getInstance() | sparta::tracker::StatePoolManager | inlinestatic |
operator=(const StatePoolManager &)=delete (defined in sparta::tracker::StatePoolManager) | sparta::tracker::StatePoolManager | |
operator=(StatePoolManager &&)=delete (defined in sparta::tracker::StatePoolManager) | sparta::tracker::StatePoolManager | |
setScheduler(Scheduler *scheduler) | sparta::tracker::StatePoolManager | inline |
setTrackingFilename(const std::string &filename) | sparta::tracker::StatePoolManager | inline |
StatePoolManager(const StatePoolManager &)=delete (defined in sparta::tracker::StatePoolManager) | sparta::tracker::StatePoolManager | |
StatePoolManager(StatePoolManager &&)=delete (defined in sparta::tracker::StatePoolManager) | sparta::tracker::StatePoolManager |