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