GRATgen
|
An item on the trail. More...
Public Attributes | |
lit_t | l |
The literal. | |
lit_t * | reason |
Clause due to which this literal was set. nullptr for assumed literals. | |
bool | vmarked |
Marker flag used for collecting relevant clauses during conflict analysis. | |
An item on the trail.