GRATgen: push_clause_ids Struct Reference

GRATgen

Public Member Functions | Public Attributes | List of all members
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