Clasp::ValueSet Struct Reference

A set of configurable values for a variable. More...

#include <solver_types.h>

List of all members.

Public Types
enum	Value { user_value = 0x03u, saved_value = 0x0Cu, pref_value = 0x30u, def_value = 0xC0u }
Public Member Functions
bool	empty () const
ValueRep	get (Value v) const
bool	has (Value v) const
bool	has (uint32 f) const
void	save (ValueRep x)
void	set (Value which, ValueRep to)
bool	sign () const
	ValueSet ()
Public Attributes
uint8	rep

---

Detailed Description

A set of configurable values for a variable.

Beside its currently assigned value, a variable can also have a user, saved, preferred, and default value. These values are used in sign selection to determine the signed literal of a variable to be assign first. During sign selection, the values form a hierarchy: user > saved > preferred > current sign score of heuristic > default value

Definition at line 629 of file solver_types.h.

---

Member Enumeration Documentation

enum Clasp::ValueSet::Value

Enumerator:

user_value
saved_value
pref_value
def_value

Definition at line 631 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ValueSet::ValueSet

(

)

[inline]

Definition at line 630 of file solver_types.h.

---

Member Function Documentation

bool Clasp::ValueSet::empty

(

)

const [inline]

Definition at line 633 of file solver_types.h.

ValueRep Clasp::ValueSet::get

(

Value

v

)

const [inline]

Definition at line 636 of file solver_types.h.

bool Clasp::ValueSet::has

(

Value

v

)

const [inline]

Definition at line 634 of file solver_types.h.

bool Clasp::ValueSet::has

(

uint32

f

)

const [inline]

Definition at line 635 of file solver_types.h.

void Clasp::ValueSet::save

(

ValueRep

x

)

[inline]

Definition at line 638 of file solver_types.h.

void Clasp::ValueSet::set	(	Value	which,
		ValueRep	to
	)		[inline]

Definition at line 637 of file solver_types.h.

bool Clasp::ValueSet::sign

(

)

const [inline]

Definition at line 632 of file solver_types.h.

---

Member Data Documentation

uint8 Clasp::ValueSet::rep

Definition at line 639 of file solver_types.h.

---

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

• solver_types.h