16#include "OSInstance.h"
38 throw ErrorClass( solverName +
" is not a valid OSDecompSolver");
used for throwing exceptions.
static std::map< std::string, OSDecompSolverFactory * > factories
virtual ~OSDecompSolverFactory()=0
Default destructor.
static OSDecompSolver * createOSDecompSolver(const std::string &solverName)
OSDecompSolverFactory()
Default Constructor.