The Sparta Modeling Framework
Loading...
Searching...
No Matches
sparta::tracker::StatePoolManager Member List

This is the complete list of members for sparta::tracker::StatePoolManager, including all inherited members.

dispatchNewTracker()sparta::tracker::StatePoolManagerinline
enableTracking()sparta::tracker::StatePoolManagerinline
flushPool()sparta::tracker::StatePoolManagerinline
getInstance()sparta::tracker::StatePoolManagerinlinestatic
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::StatePoolManagerinline
setTrackingFilename(const std::string &filename)sparta::tracker::StatePoolManagerinline
StatePoolManager(const StatePoolManager &)=delete (defined in sparta::tracker::StatePoolManager)sparta::tracker::StatePoolManager
StatePoolManager(StatePoolManager &&)=delete (defined in sparta::tracker::StatePoolManager)sparta::tracker::StatePoolManager