Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Attributes | List of all members
operations_research::sat::ClauseInfo Struct Reference

#include <clause.h>

Public Attributes

double activity = 0.0
 
int32_t lbd = 0
 
bool protected_during_next_cleanup = false
 

Detailed Description

Clause information used for the clause database management. Note that only the clauses that can be removed have an info. The problem clauses and the learned one that we wants to keep forever do not have one.

Definition at line 145 of file clause.h.

Member Data Documentation

◆ activity

double operations_research::sat::ClauseInfo::activity = 0.0

Definition at line 146 of file clause.h.

◆ lbd

int32_t operations_research::sat::ClauseInfo::lbd = 0

Definition at line 147 of file clause.h.

◆ protected_during_next_cleanup

bool operations_research::sat::ClauseInfo::protected_during_next_cleanup = false

Definition at line 148 of file clause.h.

The documentation for this struct was generated from the following file: