Clasp::VsidsScore Struct Reference

Score type for VSIDS heuristic. More...

#include <heuristics.h>

List of all members.

Public Types
typedef VsidsScore	SC
Public Member Functions
double	get () const
double	inc (double f)
bool	operator> (const SC &o) const
void	set (double f)
	VsidsScore ()
Public Attributes
double	value

---

Detailed Description

Score type for VSIDS heuristic.

See also:

ClaspVsids

Definition at line 237 of file heuristics.h.

---

Member Typedef Documentation

typedef VsidsScore Clasp::VsidsScore::SC

Definition at line 238 of file heuristics.h.

---

Constructor & Destructor Documentation

Clasp::VsidsScore::VsidsScore

(

)

[inline]

Definition at line 239 of file heuristics.h.

---

Member Function Documentation

double Clasp::VsidsScore::get

(

)

const [inline]

Definition at line 240 of file heuristics.h.

double Clasp::VsidsScore::inc

(

double

f

)

[inline]

Definition at line 242 of file heuristics.h.

bool Clasp::VsidsScore::operator>

(

const SC &

o

)

const [inline]

Definition at line 241 of file heuristics.h.

void Clasp::VsidsScore::set

(

double

f

)

[inline]

Definition at line 243 of file heuristics.h.

---

Member Data Documentation

double Clasp::VsidsScore::value

Definition at line 244 of file heuristics.h.

---

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

• heuristics.h