My Project
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
40public:
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
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..
The Option Class.
Definition OSOption.h:3565