OR-Tools  8.2
ClauseInfo

Detailed Description

Definition at line 143 of file clause.h.

Public Attributes

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

Member Data Documentation

◆ activity

double activity = 0.0

Definition at line 144 of file clause.h.

◆ lbd

int32 lbd = 0

Definition at line 145 of file clause.h.

◆ protected_during_next_cleanup

bool protected_during_next_cleanup = false

Definition at line 146 of file clause.h.


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