This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/CLPBN/horus/LiftedKc.h

26 lines
493 B
C
Raw Normal View History

2013-02-07 17:50:02 +00:00
#ifndef YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
#define YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
2012-11-14 21:55:51 +00:00
#include "LiftedSolver.h"
#include "ParfactorList.h"
namespace Horus {
2013-02-07 23:53:13 +00:00
class LiftedKc : public LiftedSolver {
public:
2012-11-14 21:55:51 +00:00
LiftedKc (const ParfactorList& pfList)
: LiftedSolver(pfList) { }
Params solveQuery (const Grounds&);
void printSolverFlags() const;
private:
2012-12-27 22:25:45 +00:00
DISALLOW_COPY_AND_ASSIGN (LiftedKc);
};
} // namespace Horus
2013-02-07 23:53:13 +00:00
2013-02-08 00:20:01 +00:00
#endif // YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_