CVC3
2.4.1
|
Public Member Functions | |
lastToFirst_lt (const vector< MiniSat::size_type > &trail_pos) | |
bool | operator() (Lit p, Lit q) |
Private Attributes | |
const vector < MiniSat::size_type > & | d_trail_pos |
Definition at line 1268 of file minisat_solver.cpp.
|
inline |
Definition at line 1271 of file minisat_solver.cpp.
Definition at line 1273 of file minisat_solver.cpp.
References MiniSat::Lit::var().
|
private |
Definition at line 1269 of file minisat_solver.cpp.