Clasp::ClaspVmtf::LessLevel Struct Reference

List of all members.

Public Member Functions
	LessLevel (const Solver &s, const Score &sc)
bool	operator() (Var v1, Var v2) const
bool	operator() (Literal l1, Literal l2) const
Private Member Functions
LessLevel &	operator= (const LessLevel &)
Private Attributes
const Solver &	s_
const Score &	sc_

---

Detailed Description

Definition at line 210 of file heuristics.h.

---

Constructor & Destructor Documentation

Clasp::ClaspVmtf::LessLevel::LessLevel	(	const Solver &	s,
		const Score &	sc
	)		[inline]

Definition at line 211 of file heuristics.h.

---

Member Function Documentation

bool Clasp::ClaspVmtf::LessLevel::operator()	(	Var	v1,
		Var	v2
	)		const [inline]

Definition at line 212 of file heuristics.h.

bool Clasp::ClaspVmtf::LessLevel::operator()	(	Literal	l1,
		Literal	l2
	)		const [inline]

Definition at line 216 of file heuristics.h.

LessLevel& Clasp::ClaspVmtf::LessLevel::operator=

(

const LessLevel &

)

[private]

---

Member Data Documentation

const Solver& Clasp::ClaspVmtf::LessLevel::s_ [private]

Definition at line 221 of file heuristics.h.

const Score& Clasp::ClaspVmtf::LessLevel::sc_ [private]

Definition at line 222 of file heuristics.h.

---

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

• heuristics.h