OSDecompSolverFactory.h
Go to the documentation of this file.
1 /* $Id: OSDecompSolverFactory.h 3038 2009-11-07 11:43:44Z kmartin $ */
13 #ifndef OSDECOMPSOLVERFACTORY_H
14 #define OSDECOMPSOLVERFACTORY_H
15 
16 // --------------------------------------------------------------------- //
17 #include "OSInstance.h"
18 #include "OSOption.h"
19 #include "OSResult.h"
20 #include "OSDataStructures.h"
21 #include "OSErrorClass.h"
22 #include <vector>
23 #include <string>
24 #include <map>
25 #include "OSDecompSolver.h"
26 
27 // --------------------------------------------------------------------- //
34 // --------------------------------------------------------------------- //
35 
36 
37 
39 
40 public:
43 
44  virtual OSDecompSolver* create() = 0;
45  static std::map<std::string, OSDecompSolverFactory*> factories;
46  static OSDecompSolver* createOSDecompSolver(const std::string &solverName) throw(ErrorClass);
47 
53 
58  virtual ~OSDecompSolverFactory() = 0;
59 
60 };
61 
62 #endif
virtual OSDecompSolver * create()=0
The Option Class.
Definition: OSOption.h:3564
OSDecompSolverFactory()
Default Constructor.
virtual ~OSDecompSolverFactory()=0
Default destructor.
static OSDecompSolver * createOSDecompSolver(const std::string &solverName)
static std::map< std::string, OSDecompSolverFactory * > factories
The in-memory representation of an OSiL instance..
Definition: OSInstance.h:2262
used for throwing exceptions.
Definition: OSErrorClass.h:31