Merge LiftedKc and LiftedCircuit in one file
This commit is contained in:
parent
b44ed7db39
commit
57339760b9
File diff suppressed because it is too large
Load Diff
|
@ -1,279 +0,0 @@
|
||||||
#ifndef HORUS_LIFTEDCIRCUIT_H
|
|
||||||
#define HORUS_LIFTEDCIRCUIT_H
|
|
||||||
|
|
||||||
#include <stack>
|
|
||||||
|
|
||||||
#include "LiftedWCNF.h"
|
|
||||||
|
|
||||||
|
|
||||||
enum CircuitNodeType {
|
|
||||||
OR_NODE,
|
|
||||||
AND_NODE,
|
|
||||||
SET_OR_NODE,
|
|
||||||
SET_AND_NODE,
|
|
||||||
INC_EXC_NODE,
|
|
||||||
LEAF_NODE,
|
|
||||||
SMOOTH_NODE,
|
|
||||||
TRUE_NODE,
|
|
||||||
COMPILATION_FAILED_NODE
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
CircuitNode (void) { }
|
|
||||||
|
|
||||||
virtual ~CircuitNode (void) { }
|
|
||||||
|
|
||||||
virtual double weight (void) const = 0;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class OrNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
OrNode (void) : CircuitNode(), leftBranch_(0), rightBranch_(0) { }
|
|
||||||
|
|
||||||
~OrNode (void);
|
|
||||||
|
|
||||||
CircuitNode** leftBranch (void) { return &leftBranch_; }
|
|
||||||
CircuitNode** rightBranch (void) { return &rightBranch_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
CircuitNode* leftBranch_;
|
|
||||||
CircuitNode* rightBranch_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class AndNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
AndNode (void) : CircuitNode(), leftBranch_(0), rightBranch_(0) { }
|
|
||||||
|
|
||||||
AndNode (CircuitNode* leftBranch, CircuitNode* rightBranch)
|
|
||||||
: CircuitNode(), leftBranch_(leftBranch), rightBranch_(rightBranch) { }
|
|
||||||
|
|
||||||
~AndNode (void);
|
|
||||||
|
|
||||||
CircuitNode** leftBranch (void) { return &leftBranch_; }
|
|
||||||
CircuitNode** rightBranch (void) { return &rightBranch_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
CircuitNode* leftBranch_;
|
|
||||||
CircuitNode* rightBranch_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class SetOrNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
SetOrNode (unsigned nrGroundings)
|
|
||||||
: CircuitNode(), follow_(0), nrGroundings_(nrGroundings) { }
|
|
||||||
|
|
||||||
~SetOrNode (void);
|
|
||||||
|
|
||||||
CircuitNode** follow (void) { return &follow_; }
|
|
||||||
|
|
||||||
static unsigned nrPositives (void) { return nrPos_; }
|
|
||||||
|
|
||||||
static unsigned nrNegatives (void) { return nrNeg_; }
|
|
||||||
|
|
||||||
static bool isSet (void) { return nrPos_ >= 0; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
CircuitNode* follow_;
|
|
||||||
unsigned nrGroundings_;
|
|
||||||
static int nrPos_;
|
|
||||||
static int nrNeg_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class SetAndNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
SetAndNode (unsigned nrGroundings)
|
|
||||||
: CircuitNode(), follow_(0), nrGroundings_(nrGroundings) { }
|
|
||||||
|
|
||||||
~SetAndNode (void);
|
|
||||||
|
|
||||||
CircuitNode** follow (void) { return &follow_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
CircuitNode* follow_;
|
|
||||||
unsigned nrGroundings_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class IncExcNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
IncExcNode (void)
|
|
||||||
: CircuitNode(), plus1Branch_(0), plus2Branch_(0), minusBranch_(0) { }
|
|
||||||
|
|
||||||
~IncExcNode (void);
|
|
||||||
|
|
||||||
CircuitNode** plus1Branch (void) { return &plus1Branch_; }
|
|
||||||
CircuitNode** plus2Branch (void) { return &plus2Branch_; }
|
|
||||||
CircuitNode** minusBranch (void) { return &minusBranch_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
CircuitNode* plus1Branch_;
|
|
||||||
CircuitNode* plus2Branch_;
|
|
||||||
CircuitNode* minusBranch_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class LeafNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
LeafNode (Clause* clause, const LiftedWCNF& lwcnf)
|
|
||||||
: CircuitNode(), clause_(clause), lwcnf_(lwcnf) { }
|
|
||||||
|
|
||||||
~LeafNode (void);
|
|
||||||
|
|
||||||
const Clause* clause (void) const { return clause_; }
|
|
||||||
|
|
||||||
Clause* clause (void) { return clause_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
Clause* clause_;
|
|
||||||
const LiftedWCNF& lwcnf_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class SmoothNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
SmoothNode (const Clauses& clauses, const LiftedWCNF& lwcnf)
|
|
||||||
: CircuitNode(), clauses_(clauses), lwcnf_(lwcnf) { }
|
|
||||||
|
|
||||||
~SmoothNode (void);
|
|
||||||
|
|
||||||
const Clauses& clauses (void) const { return clauses_; }
|
|
||||||
|
|
||||||
Clauses clauses (void) { return clauses_; }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
|
|
||||||
private:
|
|
||||||
Clauses clauses_;
|
|
||||||
const LiftedWCNF& lwcnf_;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class TrueNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
TrueNode (void) : CircuitNode() { }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class CompilationFailedNode : public CircuitNode
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
CompilationFailedNode (void) : CircuitNode() { }
|
|
||||||
|
|
||||||
double weight (void) const;
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class LiftedCircuit
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
LiftedCircuit (const LiftedWCNF* lwcnf);
|
|
||||||
|
|
||||||
~LiftedCircuit (void);
|
|
||||||
|
|
||||||
bool isCompilationSucceeded (void) const;
|
|
||||||
|
|
||||||
double getWeightedModelCount (void) const;
|
|
||||||
|
|
||||||
void exportToGraphViz (const char*);
|
|
||||||
|
|
||||||
private:
|
|
||||||
|
|
||||||
void compile (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryUnitPropagation (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryIndependence (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryShannonDecomp (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryInclusionExclusion (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryIndepPartialGrounding (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
bool tryIndepPartialGroundingAux (Clauses& clauses, ConstraintTree& ct,
|
|
||||||
LogVars& rootLogVars);
|
|
||||||
|
|
||||||
bool tryAtomCounting (CircuitNode** follow, Clauses& clauses);
|
|
||||||
|
|
||||||
void shatterCountedLogVars (Clauses& clauses);
|
|
||||||
|
|
||||||
bool shatterCountedLogVarsAux (Clauses& clauses);
|
|
||||||
|
|
||||||
bool shatterCountedLogVarsAux (Clauses& clauses, size_t idx1, size_t idx2);
|
|
||||||
|
|
||||||
bool independentClause (Clause& clause, Clauses& otherClauses) const;
|
|
||||||
|
|
||||||
bool independentLiteral (const Literal& lit,
|
|
||||||
const Literals& otherLits) const;
|
|
||||||
|
|
||||||
LitLvTypesSet smoothCircuit (CircuitNode* node);
|
|
||||||
|
|
||||||
void createSmoothNode (const LitLvTypesSet& lids,
|
|
||||||
CircuitNode** prev);
|
|
||||||
|
|
||||||
vector<LogVarTypes> getAllPossibleTypes (unsigned nrLogVars) const;
|
|
||||||
|
|
||||||
bool containsTypes (const LogVarTypes& typesA,
|
|
||||||
const LogVarTypes& typesB) const;
|
|
||||||
|
|
||||||
CircuitNodeType getCircuitNodeType (const CircuitNode* node) const;
|
|
||||||
|
|
||||||
void exportToGraphViz (CircuitNode* node, ofstream&);
|
|
||||||
|
|
||||||
void printClauses (CircuitNode* node, ofstream&,
|
|
||||||
string extraOptions = "");
|
|
||||||
|
|
||||||
string escapeNode (const CircuitNode* node) const;
|
|
||||||
|
|
||||||
string getExplanationString (CircuitNode* node);
|
|
||||||
|
|
||||||
CircuitNode* root_;
|
|
||||||
const LiftedWCNF* lwcnf_;
|
|
||||||
bool compilationSucceeded_;
|
|
||||||
Clauses backupClauses_;
|
|
||||||
unordered_map<CircuitNode*, Clauses> originClausesMap_;
|
|
||||||
unordered_map<CircuitNode*, string> explanationMap_;
|
|
||||||
};
|
|
||||||
|
|
||||||
#endif // HORUS_LIFTEDCIRCUIT_H
|
|
||||||
|
|
File diff suppressed because it is too large
Load Diff
|
@ -1,11 +1,281 @@
|
||||||
#ifndef HORUS_LIFTEDKC_H
|
#ifndef HORUS_LIFTEDKC_H
|
||||||
#define HORUS_LIFTEDKC_H
|
#define HORUS_LIFTEDKC_H
|
||||||
|
|
||||||
|
|
||||||
|
#include "LiftedWCNF.h"
|
||||||
#include "LiftedSolver.h"
|
#include "LiftedSolver.h"
|
||||||
#include "ParfactorList.h"
|
#include "ParfactorList.h"
|
||||||
|
|
||||||
class LiftedWCNF;
|
|
||||||
class LiftedCircuit;
|
enum CircuitNodeType {
|
||||||
|
OR_NODE,
|
||||||
|
AND_NODE,
|
||||||
|
SET_OR_NODE,
|
||||||
|
SET_AND_NODE,
|
||||||
|
INC_EXC_NODE,
|
||||||
|
LEAF_NODE,
|
||||||
|
SMOOTH_NODE,
|
||||||
|
TRUE_NODE,
|
||||||
|
COMPILATION_FAILED_NODE
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
CircuitNode (void) { }
|
||||||
|
|
||||||
|
virtual ~CircuitNode (void) { }
|
||||||
|
|
||||||
|
virtual double weight (void) const = 0;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class OrNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
OrNode (void) : CircuitNode(), leftBranch_(0), rightBranch_(0) { }
|
||||||
|
|
||||||
|
~OrNode (void);
|
||||||
|
|
||||||
|
CircuitNode** leftBranch (void) { return &leftBranch_; }
|
||||||
|
CircuitNode** rightBranch (void) { return &rightBranch_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
CircuitNode* leftBranch_;
|
||||||
|
CircuitNode* rightBranch_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class AndNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
AndNode (void) : CircuitNode(), leftBranch_(0), rightBranch_(0) { }
|
||||||
|
|
||||||
|
AndNode (CircuitNode* leftBranch, CircuitNode* rightBranch)
|
||||||
|
: CircuitNode(), leftBranch_(leftBranch), rightBranch_(rightBranch) { }
|
||||||
|
|
||||||
|
~AndNode (void);
|
||||||
|
|
||||||
|
CircuitNode** leftBranch (void) { return &leftBranch_; }
|
||||||
|
CircuitNode** rightBranch (void) { return &rightBranch_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
CircuitNode* leftBranch_;
|
||||||
|
CircuitNode* rightBranch_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class SetOrNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
SetOrNode (unsigned nrGroundings)
|
||||||
|
: CircuitNode(), follow_(0), nrGroundings_(nrGroundings) { }
|
||||||
|
|
||||||
|
~SetOrNode (void);
|
||||||
|
|
||||||
|
CircuitNode** follow (void) { return &follow_; }
|
||||||
|
|
||||||
|
static unsigned nrPositives (void) { return nrPos_; }
|
||||||
|
|
||||||
|
static unsigned nrNegatives (void) { return nrNeg_; }
|
||||||
|
|
||||||
|
static bool isSet (void) { return nrPos_ >= 0; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
CircuitNode* follow_;
|
||||||
|
unsigned nrGroundings_;
|
||||||
|
static int nrPos_;
|
||||||
|
static int nrNeg_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class SetAndNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
SetAndNode (unsigned nrGroundings)
|
||||||
|
: CircuitNode(), follow_(0), nrGroundings_(nrGroundings) { }
|
||||||
|
|
||||||
|
~SetAndNode (void);
|
||||||
|
|
||||||
|
CircuitNode** follow (void) { return &follow_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
CircuitNode* follow_;
|
||||||
|
unsigned nrGroundings_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class IncExcNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
IncExcNode (void)
|
||||||
|
: CircuitNode(), plus1Branch_(0), plus2Branch_(0), minusBranch_(0) { }
|
||||||
|
|
||||||
|
~IncExcNode (void);
|
||||||
|
|
||||||
|
CircuitNode** plus1Branch (void) { return &plus1Branch_; }
|
||||||
|
CircuitNode** plus2Branch (void) { return &plus2Branch_; }
|
||||||
|
CircuitNode** minusBranch (void) { return &minusBranch_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
CircuitNode* plus1Branch_;
|
||||||
|
CircuitNode* plus2Branch_;
|
||||||
|
CircuitNode* minusBranch_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class LeafNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
LeafNode (Clause* clause, const LiftedWCNF& lwcnf)
|
||||||
|
: CircuitNode(), clause_(clause), lwcnf_(lwcnf) { }
|
||||||
|
|
||||||
|
~LeafNode (void);
|
||||||
|
|
||||||
|
const Clause* clause (void) const { return clause_; }
|
||||||
|
|
||||||
|
Clause* clause (void) { return clause_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
Clause* clause_;
|
||||||
|
const LiftedWCNF& lwcnf_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class SmoothNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
SmoothNode (const Clauses& clauses, const LiftedWCNF& lwcnf)
|
||||||
|
: CircuitNode(), clauses_(clauses), lwcnf_(lwcnf) { }
|
||||||
|
|
||||||
|
~SmoothNode (void);
|
||||||
|
|
||||||
|
const Clauses& clauses (void) const { return clauses_; }
|
||||||
|
|
||||||
|
Clauses clauses (void) { return clauses_; }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
|
||||||
|
private:
|
||||||
|
Clauses clauses_;
|
||||||
|
const LiftedWCNF& lwcnf_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class TrueNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
TrueNode (void) : CircuitNode() { }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class CompilationFailedNode : public CircuitNode
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
CompilationFailedNode (void) : CircuitNode() { }
|
||||||
|
|
||||||
|
double weight (void) const;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
class LiftedCircuit
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
LiftedCircuit (const LiftedWCNF* lwcnf);
|
||||||
|
|
||||||
|
~LiftedCircuit (void);
|
||||||
|
|
||||||
|
bool isCompilationSucceeded (void) const;
|
||||||
|
|
||||||
|
double getWeightedModelCount (void) const;
|
||||||
|
|
||||||
|
void exportToGraphViz (const char*);
|
||||||
|
|
||||||
|
private:
|
||||||
|
|
||||||
|
void compile (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryUnitPropagation (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryIndependence (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryShannonDecomp (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryInclusionExclusion (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryIndepPartialGrounding (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
bool tryIndepPartialGroundingAux (Clauses& clauses, ConstraintTree& ct,
|
||||||
|
LogVars& rootLogVars);
|
||||||
|
|
||||||
|
bool tryAtomCounting (CircuitNode** follow, Clauses& clauses);
|
||||||
|
|
||||||
|
void shatterCountedLogVars (Clauses& clauses);
|
||||||
|
|
||||||
|
bool shatterCountedLogVarsAux (Clauses& clauses);
|
||||||
|
|
||||||
|
bool shatterCountedLogVarsAux (Clauses& clauses, size_t idx1, size_t idx2);
|
||||||
|
|
||||||
|
bool independentClause (Clause& clause, Clauses& otherClauses) const;
|
||||||
|
|
||||||
|
bool independentLiteral (const Literal& lit,
|
||||||
|
const Literals& otherLits) const;
|
||||||
|
|
||||||
|
LitLvTypesSet smoothCircuit (CircuitNode* node);
|
||||||
|
|
||||||
|
void createSmoothNode (const LitLvTypesSet& lids,
|
||||||
|
CircuitNode** prev);
|
||||||
|
|
||||||
|
vector<LogVarTypes> getAllPossibleTypes (unsigned nrLogVars) const;
|
||||||
|
|
||||||
|
bool containsTypes (const LogVarTypes& typesA,
|
||||||
|
const LogVarTypes& typesB) const;
|
||||||
|
|
||||||
|
CircuitNodeType getCircuitNodeType (const CircuitNode* node) const;
|
||||||
|
|
||||||
|
void exportToGraphViz (CircuitNode* node, ofstream&);
|
||||||
|
|
||||||
|
void printClauses (CircuitNode* node, ofstream&,
|
||||||
|
string extraOptions = "");
|
||||||
|
|
||||||
|
string escapeNode (const CircuitNode* node) const;
|
||||||
|
|
||||||
|
string getExplanationString (CircuitNode* node);
|
||||||
|
|
||||||
|
CircuitNode* root_;
|
||||||
|
const LiftedWCNF* lwcnf_;
|
||||||
|
bool compilationSucceeded_;
|
||||||
|
Clauses backupClauses_;
|
||||||
|
unordered_map<CircuitNode*, Clauses> originClausesMap_;
|
||||||
|
unordered_map<CircuitNode*, string> explanationMap_;
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
class LiftedKc : public LiftedSolver
|
class LiftedKc : public LiftedSolver
|
||||||
|
|
|
@ -23,10 +23,10 @@ CC=@CC@
|
||||||
CXX=@CXX@
|
CXX=@CXX@
|
||||||
|
|
||||||
# normal
|
# normal
|
||||||
#CXXFLAGS= -std=c++0x @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@ -DNDEBUG
|
CXXFLAGS= -std=c++0x @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@ -DNDEBUG
|
||||||
|
|
||||||
# debug
|
# debug
|
||||||
CXXFLAGS= -std=c++0x @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@ -g -O0 -Wextra
|
#CXXFLAGS= -std=c++0x @SHLIB_CXXFLAGS@ $(YAP_EXTRAS) $(DEFS) -D_YAP_NOT_INSTALLED_=1 -I$(srcdir) -I../../.. -I$(srcdir)/../../../include @CPPFLAGS@ -g -O0 -Wextra
|
||||||
|
|
||||||
|
|
||||||
#
|
#
|
||||||
|
@ -57,7 +57,6 @@ HEADERS = \
|
||||||
$(srcdir)/Horus.h \
|
$(srcdir)/Horus.h \
|
||||||
$(srcdir)/Indexer.h \
|
$(srcdir)/Indexer.h \
|
||||||
$(srcdir)/LiftedBp.h \
|
$(srcdir)/LiftedBp.h \
|
||||||
$(srcdir)/LiftedCircuit.h \
|
|
||||||
$(srcdir)/LiftedKc.h \
|
$(srcdir)/LiftedKc.h \
|
||||||
$(srcdir)/LiftedOperations.h \
|
$(srcdir)/LiftedOperations.h \
|
||||||
$(srcdir)/LiftedSolver.h \
|
$(srcdir)/LiftedSolver.h \
|
||||||
|
@ -87,7 +86,6 @@ CPP_SOURCES = \
|
||||||
$(srcdir)/HorusCli.cpp \
|
$(srcdir)/HorusCli.cpp \
|
||||||
$(srcdir)/HorusYap.cpp \
|
$(srcdir)/HorusYap.cpp \
|
||||||
$(srcdir)/LiftedBp.cpp \
|
$(srcdir)/LiftedBp.cpp \
|
||||||
$(srcdir)/LiftedCircuit.cpp \
|
|
||||||
$(srcdir)/LiftedKc.cpp \
|
$(srcdir)/LiftedKc.cpp \
|
||||||
$(srcdir)/LiftedOperations.cpp \
|
$(srcdir)/LiftedOperations.cpp \
|
||||||
$(srcdir)/LiftedUtils.cpp \
|
$(srcdir)/LiftedUtils.cpp \
|
||||||
|
@ -114,7 +112,6 @@ OBJS = \
|
||||||
Histogram.o \
|
Histogram.o \
|
||||||
HorusYap.o \
|
HorusYap.o \
|
||||||
LiftedBp.o \
|
LiftedBp.o \
|
||||||
LiftedCircuit.o \
|
|
||||||
LiftedKc.o \
|
LiftedKc.o \
|
||||||
LiftedOperations.o \
|
LiftedOperations.o \
|
||||||
LiftedUtils.o \
|
LiftedUtils.o \
|
||||||
|
|
Reference in New Issue