13#ifndef OSDECOMPSOLVERFACTORY_H
14#define OSDECOMPSOLVERFACTORY_H
17#include "OSInstance.h"
45 static std::map<std::string, OSDecompSolverFactory*>
factories;
used for throwing exceptions.
static std::map< std::string, OSDecompSolverFactory * > factories
virtual OSDecompSolver * create()=0
virtual ~OSDecompSolverFactory()=0
Default destructor.
static OSDecompSolver * createOSDecompSolver(const std::string &solverName)
OSDecompSolverFactory()
Default Constructor.
The in-memory representation of an OSiL instance..