Definition at line 34 of file sat_decision.h.
◆ SatDecisionPolicy()
◆ AllPreferences()
std::vector< std::pair< Literal, double > > AllPreferences |
( |
| ) |
const |
◆ BeforeConflict()
void BeforeConflict |
( |
int |
trail_index | ) |
|
◆ BumpVariableActivities()
void BumpVariableActivities |
( |
const std::vector< Literal > & |
literals | ) |
|
◆ IncreaseNumVariables()
void IncreaseNumVariables |
( |
int |
num_variables | ) |
|
◆ InStablePhase()
bool InStablePhase |
( |
| ) |
const |
|
inline |
◆ MaybeEnablePhaseSaving()
void MaybeEnablePhaseSaving |
( |
bool |
save_phase | ) |
|
|
inline |
◆ NextBranch()
◆ ResetDecisionHeuristic()
void ResetDecisionHeuristic |
( |
| ) |
|
◆ SetAssignmentPreference()
void SetAssignmentPreference |
( |
Literal |
literal, |
|
|
double |
weight |
|
) |
| |
◆ SetStablePhase()
void SetStablePhase |
( |
bool |
is_stable | ) |
|
|
inline |
◆ Untrail()
void Untrail |
( |
int |
target_trail_index | ) |
|
◆ UpdateVariableActivityIncrement()
void UpdateVariableActivityIncrement |
( |
| ) |
|
◆ UpdateWeightedSign()
void UpdateWeightedSign |
( |
const std::vector< LiteralWithCoeff > & |
terms, |
|
|
Coefficient |
rhs |
|
) |
| |
The documentation for this class was generated from the following files: