Detailed Description

Definition at line 146 of file clause.h.

Public Attributes
double	activity = 0.0

int32_t	lbd = 0

bool	protected_during_next_cleanup = false

Member Data Documentation

double activity = 0.0

Definition at line 147 of file clause.h.

int32_t lbd = 0

Definition at line 148 of file clause.h.

bool protected_during_next_cleanup = false

Definition at line 149 of file clause.h.

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