lastToFirst_lt Class Reference

Collaboration diagram for lastToFirst_lt:

[legend]List of all members.

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::Solver::d_trail_pos, and 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:

• minisat_solver.cpp

---