28 lines
523 B
C
28 lines
523 B
C
|
#ifndef HORUS_LIFTEDSOLVER_H
|
||
|
|
#define HORUS_LIFTEDSOLVER_H
|
||
|
|
|
||
|
|
#include "ParfactorList.h"
|
||
|
|
#include "Horus.h"
|
||
|
|
|
||
|
|
|
||
|
|
using namespace std;
|
||
|
|
|
||
|
|
class LiftedSolver
|
||
|
|
{
|
||
|
|
public:
|
||
|
|
LiftedSolver (const ParfactorList& pfList)
|
||
|
|
: parfactorList(pfList) { }
|
||
|
|
|
||
|
|
virtual ~LiftedSolver() { } // ensure that subclass destructor is called
|
||
|
|
|
||
|
|
virtual Params solveQuery (const Grounds& query) = 0;
|
||
|
|
|
||
|
|
virtual void printSolverFlags (void) const = 0;
|
||
|
|
|
||
|
|
protected:
|
||
|
|
const ParfactorList& parfactorList;
|
||
|
|
};
|
||
|
|
|
||
|
|
#endif // HORUS_LIFTEDSOLVER_H
|
||
|
|
|