always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

deep sync with base library renaming; lint checking; Speedup sat; new crash procedure for glop

Browse Source
This commit is contained in:
Laurent Perron
2018-08-28 11:19:49 +02:00
parent 77e76c1572
commit 4caaef3c23
129 changed files with 1584 additions and 1020 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/sat/simplification.h
View File

@@ -280,8 +280,8 @@ class SatPresolver {
// Literal priority queue for BVA. The literals are ordered by descending
// number of occurrences in clauses.
void InitializeBvaPriorityQueue();
void UpdateBvaPriorityQueue(LiteralIndex var);
void AddToBvaPriorityQueue(LiteralIndex var);
void UpdateBvaPriorityQueue(LiteralIndex lit);
void AddToBvaPriorityQueue(LiteralIndex lit);
struct BvaPqElement {
BvaPqElement() : heap_index(-1), literal(-1), weight(0.0) {}