GRATgen
|
Clauses are stored as a zero terminated string of lit_t, and referenced to by a lit_t* to the first literal.
Moreover, the cdb_t before directly before the first literal of the clause contains the clause id, which is to be interpreted as an unsigned integer. The function clid() is used to access the id of a clause.
If a clause is stored in the two-watched literals data structure, the first two literals of the clause are the watched literals, and can be accessed with clw1() and clw2().