diff options
author | Kyle Keen | 2019-03-06 17:43:13 -0500 |
---|---|---|
committer | Kyle Keen | 2019-03-06 17:45:21 -0500 |
commit | 1560625b118a4552424bbaf9dcf2340df8631821 (patch) | |
tree | be6ad8602cd289b5f7005405ca5dbd1ffec4c10a /friend-function.patch | |
parent | f981aa4c5a26a4585059e8d98b24c99d9e7e5ea8 (diff) | |
download | aur-yap.tar.gz |
update
Diffstat (limited to 'friend-function.patch')
-rw-r--r-- | friend-function.patch | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/friend-function.patch b/friend-function.patch deleted file mode 100644 index 4261ee1120aa..000000000000 --- a/friend-function.patch +++ /dev/null @@ -1,37 +0,0 @@ -diff --git a/packages/swi-minisat2/C/Solver.C b/packages/swi-minisat2/C/Solver.C -index 2de3e6d..1bcdbff 100644 ---- a/packages/swi-minisat2/C/Solver.C -+++ b/packages/swi-minisat2/C/Solver.C -@@ -120,7 +120,7 @@ bool Solver::addClause(vec<Lit>& ps) - uncheckedEnqueue(ps[0]); - return ok = (propagate() == NULL); - }else{ -- Clause* c = Clause_new(ps, false); -+ Clause* c = Clause::Clause_new(ps, false); - clauses.push(c); - attachClause(*c); - } -@@ -599,7 +599,7 @@ lbool Solver::search(int nof_conflicts, int nof_learnts) - if (learnt_clause.size() == 1){ - uncheckedEnqueue(learnt_clause[0]); - }else{ -- Clause* c = Clause_new(learnt_clause, true); -+ Clause* c = Clause::Clause_new(learnt_clause, true); - learnts.push(c); - attachClause(*c); - claBumpActivity(*c); -diff --git a/packages/swi-minisat2/C/SolverTypes.h b/packages/swi-minisat2/C/SolverTypes.h -index 47e3023..919b60b 100644 ---- a/packages/swi-minisat2/C/SolverTypes.h -+++ b/packages/swi-minisat2/C/SolverTypes.h -@@ -119,7 +119,7 @@ public: - - // -- use this function instead: - template<class V> -- friend Clause* Clause_new(const V& ps, bool learnt = false) { -+ static Clause* Clause_new(const V& ps, bool learnt = false) { - assert(sizeof(Lit) == sizeof(uint32_t)); - assert(sizeof(float) == sizeof(uint32_t)); - void* mem = malloc(sizeof(Clause) + sizeof(uint32_t)*(ps.size())); --- -1.9.3 |