push_clause_ids Struct Reference

The functionality of appending clause IDs to a vector. More...

Public Member Functions
	push_clause_ids (vector< lit_t > &_prf)
	Constructor.
void	operator() (lit_t *cl) const
	Append an ID.

Public Attributes
vector< lit_t > &	prf
	vector to append IDs to

Detailed Description

The functionality of appending clause IDs to a vector.

---

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

• gratgen.cpp