Clasp::ScoreLook Struct Reference

A small helper class used to score the result of a lookahead operation. More...

#include <lookahead.h>

List of all members.

Public Types
enum	Mode { score_max, score_max_min }
typedef PodVector< VarScore >::type	VarScores
Public Member Functions
void	clearDeps ()
uint32	countNant (const Solver &s, const Literal *b, const Literal *e) const
bool	greater (Var lhs, Var rhs) const
bool	greaterMax (Var x, uint32 max) const
bool	greaterMaxMin (Var lhs, uint32 max, uint32 min) const
void	scoreLits (const Solver &s, const Literal *b, const Literal *e)
	ScoreLook ()
bool	validVar (Var v) const
Public Attributes
bool	addDeps
Var	best
VarVec	deps
Mode	mode
bool	nant
VarScores	score
VarType	types

---

Detailed Description

A small helper class used to score the result of a lookahead operation.

Definition at line 102 of file lookahead.h.

---

Member Typedef Documentation

typedef PodVector<VarScore>::type Clasp::ScoreLook::VarScores

A vector of variable-scores

Definition at line 104 of file lookahead.h.

---

Member Enumeration Documentation

enum Clasp::ScoreLook::Mode

Enumerator:

score_max
score_max_min

Definition at line 103 of file lookahead.h.

---

Constructor & Destructor Documentation

Clasp::ScoreLook::ScoreLook

(

)

[inline]

Definition at line 105 of file lookahead.h.

---

Member Function Documentation

void Clasp::ScoreLook::clearDeps

(

)

Definition at line 51 of file lookahead.cpp.

uint32 Clasp::ScoreLook::countNant	(	const Solver &	s,
		const Literal *	b,
		const Literal *	e
	)		const

Definition at line 26 of file lookahead.cpp.

bool Clasp::ScoreLook::greater	(	Var	lhs,
		Var	rhs
	)		const

Definition at line 58 of file lookahead.cpp.

bool Clasp::ScoreLook::greaterMax	(	Var	x,
		uint32	max
	)		const [inline]

Definition at line 111 of file lookahead.h.

bool Clasp::ScoreLook::greaterMaxMin	(	Var	lhs,
		uint32	max,
		uint32	min
	)		const [inline]

Definition at line 114 of file lookahead.h.

void Clasp::ScoreLook::scoreLits	(	const Solver &	s,
		const Literal *	b,
		const Literal *	e
	)

Definition at line 31 of file lookahead.cpp.

bool Clasp::ScoreLook::validVar

(

Var

v

)

const [inline]

Definition at line 106 of file lookahead.h.

---

Member Data Documentation

bool Clasp::ScoreLook::addDeps

Definition at line 124 of file lookahead.h.

Var Clasp::ScoreLook::best

Definition at line 122 of file lookahead.h.

VarVec Clasp::ScoreLook::deps

Definition at line 120 of file lookahead.h.

Mode Clasp::ScoreLook::mode

Definition at line 123 of file lookahead.h.

bool Clasp::ScoreLook::nant

Definition at line 125 of file lookahead.h.

VarScores Clasp::ScoreLook::score

Definition at line 119 of file lookahead.h.

VarType Clasp::ScoreLook::types

Definition at line 121 of file lookahead.h.

---

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

• lookahead.h
• lookahead.cpp