GRATgen: trail_item_t Struct Reference

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_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.

## Detailed Description

An item on the trail.

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

- gratgen.cpp