trick/trick_source/sim_services/STL/include/STLManager.hh
2015-02-26 09:02:31 -06:00

34 lines
640 B
C++

#ifndef _TRICK_STL_MANAGER_HH_
#define _TRICK_STL_MANAGER_HH_
#include <vector>
#include "sim_services/STL/include/STLInterface.hh"
namespace Trick {
class STLManager {
public:
STLManager() ;
virtual ~STLManager() ;
static STLManager * getSTLManager() ;
void checkpoint() ;
void post_checkpoint() ;
void restart() ;
unsigned int addSTL( STLInterface & stlIn ) ;
void removeSTL( STLInterface & stlIn ) ;
private:
//TODO: This needs to be a set, not a vector
std::vector<STLInterface *> stlObjects ;
unsigned int count ;
};
} ;
#endif