operations_research::sat::PbConstraints Member List

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

AddConstraint(const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)	operations_research::sat::PbConstraints	inline
AddConstraint(const std::vector< Literal > &enforcement_literals, const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)	operations_research::sat::PbConstraints
AddLearnedConstraint(const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)	operations_research::sat::PbConstraints
BumpActivity(UpperBoundedLinearConstraint *constraint)	operations_research::sat::PbConstraints
ClearConflictingConstraint()	operations_research::sat::PbConstraints	inline
ConflictingConstraint()	operations_research::sat::PbConstraints	inline
DeleteConstraint(int index)	operations_research::sat::PbConstraints	inline
IsEmpty() const final	operations_research::sat::PbConstraints	inlinevirtual
name() const	operations_research::sat::SatPropagator	inline
name_	operations_research::sat::SatPropagator	protected
num_constraint_lookups() const	operations_research::sat::PbConstraints	inline
num_inspected_constraint_literals() const	operations_research::sat::PbConstraints	inline
num_threshold_updates() const	operations_research::sat::PbConstraints	inline
NumberOfConstraints() const	operations_research::sat::PbConstraints	inline
operator=(const PbConstraints &)=delete	operations_research::sat::PbConstraints
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
PbConstraints(Model *model)	operations_research::sat::PbConstraints	inlineexplicit
PbConstraints(const PbConstraints &)=delete	operations_research::sat::PbConstraints
Propagate(Trail *trail) final	operations_research::sat::PbConstraints	virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagation_trail_index_	operations_research::sat::SatPropagator	protected
PropagationIsDone(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagator_id_	operations_research::sat::SatPropagator	protected
PropagatorId() const	operations_research::sat::SatPropagator	inline
Reason(const Trail &trail, int trail_index, int64_t conflict_id) const final	operations_research::sat::PbConstraints	virtual
ReasonPbConstraint(int trail_index) const	operations_research::sat::PbConstraints
Reimply(Trail *, int)	operations_research::sat::SatPropagator	inlinevirtual
RescaleActivities(double scaling_factor)	operations_research::sat::PbConstraints
Resize(int num_variables)	operations_research::sat::PbConstraints	inline
SatPropagator(const std::string &name)	operations_research::sat::SatPropagator	inlineexplicit
SatPropagator(const SatPropagator &)=delete	operations_research::sat::SatPropagator
SetPropagatorId(int id)	operations_research::sat::SatPropagator	inline
Untrail(const Trail &trail, int trail_index) final	operations_research::sat::PbConstraints	virtual
UpdateActivityIncrement()	operations_research::sat::PbConstraints
~PbConstraints() override	operations_research::sat::PbConstraints	inline
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual