CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
lastToFirst_lt Class Reference

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
 

Detailed Description

Definition at line 1268 of file minisat_solver.cpp.

Constructor & Destructor Documentation

lastToFirst_lt::lastToFirst_lt ( const vector< MiniSat::size_type > &  trail_pos)
inline

Definition at line 1271 of file minisat_solver.cpp.

Member Function Documentation

bool lastToFirst_lt::operator() ( Lit  p,
Lit  q 
)
inline

Definition at line 1273 of file minisat_solver.cpp.

References MiniSat::Lit::var().

Member Data Documentation

const vector<MiniSat::size_type>& lastToFirst_lt::d_trail_pos
private

Definition at line 1269 of file minisat_solver.cpp.


The documentation for this class was generated from the following file: