902624f557
"In fact, the f(void) style has been called an "abomination" by Bjarne Stroustrup, the creator of C++, Dennis Ritchie, the co-creator of C, and Doug McIlroy, head of the research department where Unix was born."
27 lines
494 B
C++
27 lines
494 B
C++
#ifndef YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
|
|
#define YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
|
|
|
|
#include "LiftedSolver.h"
|
|
#include "ParfactorList.h"
|
|
|
|
|
|
namespace Horus {
|
|
|
|
class LiftedKc : public LiftedSolver {
|
|
public:
|
|
LiftedKc (const ParfactorList& pfList)
|
|
: LiftedSolver(pfList) { }
|
|
|
|
Params solveQuery (const Grounds&);
|
|
|
|
void printSolverFlags() const;
|
|
|
|
private:
|
|
DISALLOW_COPY_AND_ASSIGN (LiftedKc);
|
|
};
|
|
|
|
} // namespace Horus
|
|
|
|
#endif // YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
|
|
|