diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

don't use a stack for atom counting operator

Browse Source
This commit is contained in:
Tiago Gomes
2012-12-09 19:46:14 +00:00
parent 57a31c2c36
commit 907144db32
2 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
packages/CLPBN/horus/LiftedCircuit.h
View File

@@ -75,19 +75,19 @@ class SetOrNode : public CircuitNode
CircuitNode** follow (void) { return &follow_; }
static unsigned nrPositives (void) { return nrGrsStack.top().first; }
static unsigned nrPositives (void) { return nrPos_; }
static unsigned nrNegatives (void) { return nrGrsStack.top().second; }
static unsigned nrNegatives (void) { return nrNeg_; }
static bool isSet (void) { return nrGrsStack.size() > 0; }
static bool isSet (void) { return nrPos_ >= 0; }
double weight (void) const;
private:
CircuitNode* follow_;
unsigned nrGroundings_;
static stack<pair<unsigned, unsigned>> nrGrsStack;
static int nrPos_;
static int nrNeg_;
};