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

Improve Clause constructor

Browse Source
This commit is contained in:
Tiago Gomes 2012-11-07 18:43:13 +00:00
parent 278f8f77f5
commit d2ae171bb5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/CLPBN/horus/LiftedWCNF.h
View File

@ -67,7 +67,7 @@ typedef vector<Literal> Literals;
class Clause class Clause
{ {
public: public:
Clause (const ConstraintTree& ct) : constr_(ct) { } Clause (const ConstraintTree& ct = ConstraintTree({})) : constr_(ct) { }
Clause (vector<vector<string>> names) : constr_(ConstraintTree (names)) { } Clause (vector<vector<string>> names) : constr_(ConstraintTree (names)) { }