Clasp::ClaspVsids_t< ScoreType >::CmpScore Struct Reference

#include <heuristics.h>

List of all members.

Public Member Functions
	CmpScore (const ScoreVec &s)
bool	operator() (Var v1, Var v2) const
Private Member Functions
CmpScore &	operator= (const CmpScore &)
Private Attributes
const ScoreVec &	sc_

---

Detailed Description

template<class ScoreType>
struct Clasp::ClaspVsids_t< ScoreType >::CmpScore

Definition at line 291 of file heuristics.h.

---

Constructor & Destructor Documentation

template<class ScoreType>

Clasp::ClaspVsids_t< ScoreType >::CmpScore::CmpScore

(

const ScoreVec &

s

)

[inline, explicit]

Definition at line 292 of file heuristics.h.

---

Member Function Documentation

template<class ScoreType>

bool Clasp::ClaspVsids_t< ScoreType >::CmpScore::operator()	(	Var	v1,
		Var	v2
	)		const [inline]

Definition at line 293 of file heuristics.h.

template<class ScoreType>

CmpScore& Clasp::ClaspVsids_t< ScoreType >::CmpScore::operator=

(

const CmpScore &

)

[private]

---

Member Data Documentation

template<class ScoreType>

const ScoreVec& Clasp::ClaspVsids_t< ScoreType >::CmpScore::sc_ [private]

Definition at line 296 of file heuristics.h.

---

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

• heuristics.h