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
()
PbConstraints
inline
ConflictingConstraint
()
PbConstraints
inline
DeleteConstraint
(int index)
PbConstraints
inline
name_
SatPropagator
protected
num_constraint_lookups
() const
PbConstraints
inline
num_inspected_constraint_literals
() const
PbConstraints
inline
num_threshold_updates
() const
PbConstraints
inline
NumberOfConstraints
() const
PbConstraints
inline
PbConstraints
(Model *model)
PbConstraints
inline
explicit
Propagate
(Trail *trail) final
PbConstraints
virtual
PropagatePreconditionsAreSatisfied
(const Trail &trail) const
SatPropagator
inline
propagation_trail_index_
SatPropagator
protected
PropagationIsDone
(const Trail &trail) const
SatPropagator
inline
propagator_id_
SatPropagator
protected
PropagatorId
() const
SatPropagator
inline
Reason
(const Trail &trail, int trail_index) const final
PbConstraints
virtual
ReasonPbConstraint
(int trail_index) const
PbConstraints
RescaleActivities
(double scaling_factor)
PbConstraints
Resize
(int num_variables)
PbConstraints
inline
SatPropagator
(const std::string &name)
SatPropagator
inline
explicit
SetPropagatorId
(int id)
SatPropagator
inline
Untrail
(const Trail &trail, int trail_index) final
PbConstraints
virtual
UpdateActivityIncrement
()
PbConstraints
~PbConstraints
() override
PbConstraints
inline
~SatPropagator
()
SatPropagator
inline
virtual
Generated by
1.9.1