operations_research::sat::ClauseInfo Struct Reference

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 147 of file clause.h.

#include <clause.h>

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

Member Data Documentation

activity

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

Definition at line 148 of file clause.h.

lbd

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

Definition at line 149 of file clause.h.

protected_during_next_cleanup

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

Definition at line 150 of file clause.h.

---

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

• ortools/sat/clause.h