Definition at line 373 of file pb_constraint.h.
|
| UpperBoundedLinearConstraint (const std::vector< LiteralWithCoeff > &cst) |
|
bool | HasIdenticalTerms (const std::vector< LiteralWithCoeff > &cst) |
|
Coefficient | Rhs () const |
|
bool | InitializeRhs (Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper) |
|
bool | Propagate (int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper) |
|
void | Untrail (Coefficient *threshold, int trail_index) |
|
void | FillReason (const Trail &trail, int source_trail_index, BooleanVariable propagated_variable, std::vector< Literal > *reason) |
|
void | ResolvePBConflict (const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack) |
|
void | AddToConflict (MutableUpperBoundedLinearConstraint *conflict) |
|
Coefficient | ComputeCancelation (const Trail &trail, int trail_index, const MutableUpperBoundedLinearConstraint &conflict) |
|
void | MarkForDeletion () |
|
bool | is_marked_for_deletion () const |
|
void | set_is_learned (bool is_learned) |
|
bool | is_learned () const |
|
bool | is_used_as_a_reason () const |
|
void | set_activity (double activity) |
|
double | activity () const |
|
int64 | hash () const |
|
int | already_propagated_end () const |
|
◆ UpperBoundedLinearConstraint()
◆ activity()
double activity |
( |
| ) |
const |
|
inline |
◆ AddToConflict()
◆ already_propagated_end()
int already_propagated_end |
( |
| ) |
const |
|
inline |
◆ ComputeCancelation()
◆ FillReason()
void FillReason |
( |
const Trail & |
trail, |
|
|
int |
source_trail_index, |
|
|
BooleanVariable |
propagated_variable, |
|
|
std::vector< Literal > * |
reason |
|
) |
| |
◆ hash()
◆ HasIdenticalTerms()
◆ InitializeRhs()
◆ is_learned()
bool is_learned |
( |
| ) |
const |
|
inline |
◆ is_marked_for_deletion()
bool is_marked_for_deletion |
( |
| ) |
const |
|
inline |
◆ is_used_as_a_reason()
bool is_used_as_a_reason |
( |
| ) |
const |
|
inline |
◆ MarkForDeletion()
◆ Propagate()
◆ ResolvePBConflict()
◆ Rhs()
Coefficient Rhs |
( |
| ) |
const |
|
inline |
◆ set_activity()
void set_activity |
( |
double |
activity | ) |
|
|
inline |
◆ set_is_learned()
void set_is_learned |
( |
bool |
is_learned | ) |
|
|
inline |
◆ Untrail()
void Untrail |
( |
Coefficient * |
threshold, |
|
|
int |
trail_index |
|
) |
| |
The documentation for this class was generated from the following files: