GRATgen
Public Attributes | List of all members
trail_item_t Struct Reference

An item on the trail. More...

Public Attributes

lit_t l
 The literal.
 
lit_treason
 Clause due to which this literal was set. nullptr for assumed literals.
 
bool vmarked
 Marker flag used for collecting relevant clauses during conflict analysis.
 

Detailed Description

An item on the trail.


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