Definition at line 515 of file pb_constraint.h.
◆ PbConstraints()
◆ ~PbConstraints()
◆ AddConstraint()
◆ AddLearnedConstraint()
bool AddLearnedConstraint |
( |
const std::vector< LiteralWithCoeff > & |
cst, |
|
|
Coefficient |
rhs, |
|
|
Trail * |
trail |
|
) |
| |
◆ BumpActivity()
◆ ClearConflictingConstraint()
void ClearConflictingConstraint |
( |
| ) |
|
|
inline |
◆ ConflictingConstraint()
◆ DeleteConstraint()
void DeleteConstraint |
( |
int |
index | ) |
|
|
inline |
◆ num_constraint_lookups()
int64 num_constraint_lookups |
( |
| ) |
const |
|
inline |
◆ num_inspected_constraint_literals()
int64 num_inspected_constraint_literals |
( |
| ) |
const |
|
inline |
◆ num_threshold_updates()
int64 num_threshold_updates |
( |
| ) |
const |
|
inline |
◆ NumberOfConstraints()
int NumberOfConstraints |
( |
| ) |
const |
|
inline |
◆ Propagate()
bool Propagate |
( |
Trail * |
trail | ) |
|
|
finalvirtual |
◆ PropagatePreconditionsAreSatisfied()
bool PropagatePreconditionsAreSatisfied |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagationIsDone()
bool PropagationIsDone |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagatorId()
int PropagatorId |
( |
| ) |
const |
|
inlineinherited |
◆ Reason()
absl::Span< const Literal > Reason |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| const |
|
finalvirtual |
◆ ReasonPbConstraint()
◆ RescaleActivities()
void RescaleActivities |
( |
double |
scaling_factor | ) |
|
◆ Resize()
void Resize |
( |
int |
num_variables | ) |
|
|
inline |
◆ SetPropagatorId()
void SetPropagatorId |
( |
int |
id | ) |
|
|
inlineinherited |
◆ Untrail()
void Untrail |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| |
|
finalvirtual |
◆ UpdateActivityIncrement()
void UpdateActivityIncrement |
( |
| ) |
|
◆ name_
◆ propagation_trail_index_
int propagation_trail_index_ |
|
protectedinherited |
◆ propagator_id_
The documentation for this class was generated from the following files: