A set of configurable values for a variable. More...
#include <solver_types.h>
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 |
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.
Definition at line 631 of file solver_types.h.
Clasp::ValueSet::ValueSet | ( | ) | [inline] |
Definition at line 630 of file solver_types.h.
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.
uint8 Clasp::ValueSet::rep |
Definition at line 639 of file solver_types.h.