GRATgen
|
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 | |
The functionality of appending clause IDs to a vector.