Clasp::VarScore Struct Reference

Type used to store lookahead-information for one variable. More...

#include <lookahead.h>

List of all members.

Public Member Functions
void	clear ()
uint32	nVal () const
bool	prefSign () const
	Returns the sign of the literal that has the higher score.
uint32	pVal () const
uint32	score (Literal p) const
	Returns the score for literal p.
void	score (uint32 &mx, uint32 &mn) const
	Returns the scores of the two literals of a variable.
bool	seen (Literal p) const
	Is literal p dependent?
bool	seen () const
	Is this var dependent?
void	setDepScore (Literal p, uint32 sc)
	Sets the score of a dependent literal p to min(sc, current score).
void	setScore (Literal p, LitVec::size_type value)
	Sets the score for literal p to value and marks p as tested.
void	setSeen (Literal p)
	Mark literal p as dependent.
void	setTested (Literal p)
	Mark literal p as tested during lookahead.
bool	tested (Literal p) const
	Was literal p tested during lookahead?
bool	tested () const
	Was some literal of this var tested?
bool	testedBoth () const
	Were both literals of this var tested?
	VarScore ()
Private Attributes
uint32	nVal_: 14
uint32	pVal_: 14
uint32	seen_: 2
uint32	tested_: 2

---

Detailed Description

Type used to store lookahead-information for one variable.

Definition at line 39 of file lookahead.h.

---

Constructor & Destructor Documentation

Clasp::VarScore::VarScore

(

)

[inline]

Definition at line 40 of file lookahead.h.

---

Member Function Documentation

void Clasp::VarScore::clear

(

)

[inline]

Definition at line 41 of file lookahead.h.

uint32 Clasp::VarScore::nVal

(

)

const [inline]

Definition at line 92 of file lookahead.h.

bool Clasp::VarScore::prefSign

(

)

const [inline]

Returns the sign of the literal that has the higher score.

Definition at line 90 of file lookahead.h.

uint32 Clasp::VarScore::pVal

(

)

const [inline]

Definition at line 93 of file lookahead.h.

uint32 Clasp::VarScore::score

(

Literal

p

)

const [inline]

Returns the score for literal p.

Definition at line 73 of file lookahead.h.

void Clasp::VarScore::score	(	uint32 &	mx,
		uint32 &	mn
	)		const [inline]

Returns the scores of the two literals of a variable.

Parameters:

[out]	mx	The maximum score.
[out]	mn	The minimum score.

Definition at line 79 of file lookahead.h.

bool Clasp::VarScore::seen

(

Literal

p

)

const [inline]

Is literal p dependent?

Definition at line 45 of file lookahead.h.

bool Clasp::VarScore::seen

(

)

const [inline]

Is this var dependent?

Definition at line 47 of file lookahead.h.

void Clasp::VarScore::setDepScore	(	Literal	p,
		uint32	sc
	)		[inline]

Sets the score of a dependent literal p to min(sc, current score).

Definition at line 65 of file lookahead.h.

void Clasp::VarScore::setScore	(	Literal	p,
		LitVec::size_type	value
	)		[inline]

Sets the score for literal p to value and marks p as tested.

Definition at line 58 of file lookahead.h.

void Clasp::VarScore::setSeen

(

Literal

p

)

[inline]

Mark literal p as dependent.

Definition at line 43 of file lookahead.h.

void Clasp::VarScore::setTested

(

Literal

p

)

[inline]

Mark literal p as tested during lookahead.

Definition at line 49 of file lookahead.h.

bool Clasp::VarScore::tested

(

Literal

p

)

const [inline]

Was literal p tested during lookahead?

Definition at line 51 of file lookahead.h.

bool Clasp::VarScore::tested

(

)

const [inline]

Was some literal of this var tested?

Definition at line 53 of file lookahead.h.

bool Clasp::VarScore::testedBoth

(

)

const [inline]

Were both literals of this var tested?

Definition at line 55 of file lookahead.h.

---

Member Data Documentation

uint32 Clasp::VarScore::nVal_ [private]

Definition at line 96 of file lookahead.h.

uint32 Clasp::VarScore::pVal_ [private]

Definition at line 95 of file lookahead.h.

uint32 Clasp::VarScore::seen_ [private]

Definition at line 97 of file lookahead.h.

uint32 Clasp::VarScore::tested_ [private]

Definition at line 98 of file lookahead.h.

---

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

• lookahead.h