Clasp::Solver::CmpScore Struct Reference

List of all members.

Public Types
typedef std::pair< uint32, Activity >	ViewPair
Public Member Functions
	CmpScore (const ConstraintDB &learnts, ReduceStrategy::Score sc, uint32 g)
bool	operator() (uint32 lhsId, uint32 rhsId) const
bool	operator() (const ViewPair &lhs, const ViewPair &rhs) const
bool	operator() (Activity lhs, Activity rhs) const
bool	operator() (const Constraint *lhs, const Constraint *rhs) const
uint32	score (const Activity &act) const
Public Attributes
const ConstraintDB &	db
uint32	glue
ReduceStrategy::Score	rs
Private Member Functions
CmpScore &	operator= (const CmpScore &)

---

Detailed Description

Definition at line 821 of file solver.h.

---

Member Typedef Documentation

typedef std::pair<uint32, Activity> Clasp::Solver::CmpScore::ViewPair

Definition at line 822 of file solver.h.

---

Constructor & Destructor Documentation

Clasp::Solver::CmpScore::CmpScore	(	const ConstraintDB &	learnts,
		ReduceStrategy::Score	sc,
		uint32	g
	)		[inline]

Definition at line 823 of file solver.h.

---

Member Function Documentation

bool Clasp::Solver::CmpScore::operator()	(	uint32	lhsId,
		uint32	rhsId
	)		const [inline]

Definition at line 825 of file solver.h.

bool Clasp::Solver::CmpScore::operator()	(	const ViewPair &	lhs,
		const ViewPair &	rhs
	)		const [inline]

Definition at line 826 of file solver.h.

bool Clasp::Solver::CmpScore::operator()	(	Activity	lhs,
		Activity	rhs
	)		const [inline]

Definition at line 827 of file solver.h.

bool Clasp::Solver::CmpScore::operator()	(	const Constraint *	lhs,
		const Constraint *	rhs
	)		const [inline]

Definition at line 828 of file solver.h.

CmpScore& Clasp::Solver::CmpScore::operator=

(

const CmpScore &

)

[private]

uint32 Clasp::Solver::CmpScore::score

(

const Activity &

act

)

const [inline]

Definition at line 824 of file solver.h.

---

Member Data Documentation

const ConstraintDB& Clasp::Solver::CmpScore::db

Definition at line 833 of file solver.h.

uint32 Clasp::Solver::CmpScore::glue

Definition at line 835 of file solver.h.

ReduceStrategy::Score Clasp::Solver::CmpScore::rs

Definition at line 834 of file solver.h.

---

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

• solver.h