wmsubsolver.h

Go to the documentation of this file.

#ifndef wmsubsolver_h
#define wmsubsolver_h
 
// Wx lib includes
#include "lib/wxobject.h"
 
// STL includes
#include <string>
#include <typeinfo>
#include <vector>
 
// forward declarations
namespace wxm
{
namespace variable
{
class variable_t;
}
} // namespace wxm
class WmVariable;
class WxCryptSet;
class WmSolverBase;
class WmConstOpaquePtr;
 
class WmDomain;
 
class WmSubSolver : public WxObject
{
public:
    typedef std::vector<std::string> subsolver_crypt_args_t;
 
    virtual ~WmSubSolver();
 
    virtual void setup(const WxCryptSet& wxc);
 
    const WmSolverBase& getParent() const;
 
    wxm::variable::variable_t& getVariableByName(const std::string& variableName) const;
 
    const WmDomain& getDomain() const;
 
protected:
    WmSubSolver(const WmConstOpaquePtr& parent_solver);
 
    virtual void typeCheck() = 0;
 
private:
    const WmSolverBase& _parent;
};
 
#endif //  wmsubsolver_h