OR-Tools  8.2
PbConstraints Member List

This is the complete list of members for PbConstraints, including all inherited members.

AddConstraint(const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)PbConstraints
AddLearnedConstraint(const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)PbConstraints
BumpActivity(UpperBoundedLinearConstraint *constraint)PbConstraints
ClearConflictingConstraint()PbConstraintsinline
ConflictingConstraint()PbConstraintsinline
DeleteConstraint(int index)PbConstraintsinline
name_SatPropagatorprotected
num_constraint_lookups() constPbConstraintsinline
num_inspected_constraint_literals() constPbConstraintsinline
num_threshold_updates() constPbConstraintsinline
NumberOfConstraints() constPbConstraintsinline
PbConstraints(Model *model)PbConstraintsinlineexplicit
Propagate(Trail *trail) finalPbConstraintsvirtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) const finalPbConstraintsvirtual
ReasonPbConstraint(int trail_index) constPbConstraints
RescaleActivities(double scaling_factor)PbConstraints
Resize(int num_variables)PbConstraintsinline
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
Untrail(const Trail &trail, int trail_index) finalPbConstraintsvirtual
UpdateActivityIncrement()PbConstraints
~PbConstraints() overridePbConstraintsinline
~SatPropagator()SatPropagatorinlinevirtual