#include <minisat_solver.h>
Definition at line 178 of file minisat_solver.h.
MiniSat::PushEntry::PushEntry | ( | int | clauseID, | |
size_type | trailSize, | |||
size_type | qhead, | |||
size_type | thead | |||
) | [inline] |
Definition at line 187 of file minisat_solver.h.
Definition at line 181 of file minisat_solver.h.
Referenced by MiniSat::Solver::pop(), and MiniSat::Solver::popClauses().