Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ClauseInfo Struct Reference

Detailed Description

Definition at line 148 of file clause.h.

#include <clause.h>

Public Attributes

double activity = 0.0
int32_t lbd = 0
int32_t num_cleanup_rounds_since_last_bumped = 0

Member Data Documentation

◆ activity

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

Definition at line 149 of file clause.h.

◆ lbd

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

Definition at line 150 of file clause.h.

◆ num_cleanup_rounds_since_last_bumped

int32_t operations_research::sat::ClauseInfo::num_cleanup_rounds_since_last_bumped = 0

Definition at line 151 of file clause.h.

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