Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::PbConstraints Class Reference

Detailed Description

Definition at line 557 of file pb_constraint.h.

#include <pb_constraint.h>

Inheritance diagram for operations_research::sat::PbConstraints:
operations_research::sat::SatPropagator

Public Member Functions

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

Additional Inherited Members

Protected Attributes inherited from operations_research::sat::SatPropagator
const std::string name_
int propagator_id_
int propagation_trail_index_

Constructor & Destructor Documentation

◆ PbConstraints() [1/2]

operations_research::sat::PbConstraints::PbConstraints ( Model * model)
inlineexplicit

Definition at line 559 of file pb_constraint.h.

◆ PbConstraints() [2/2]

operations_research::sat::PbConstraints::PbConstraints ( const PbConstraints & )
delete

◆ ~PbConstraints()

operations_research::sat::PbConstraints::~PbConstraints ( )
inlineoverride

Definition at line 576 of file pb_constraint.h.

Member Function Documentation

◆ AddConstraint() [1/2]

bool operations_research::sat::PbConstraints::AddConstraint ( const std::vector< Literal > & enforcement_literals,
const std::vector< LiteralWithCoeff > & cst,
Coefficient rhs,
Trail * trail )

Definition at line 945 of file pb_constraint.cc.

◆ AddConstraint() [2/2]

bool operations_research::sat::PbConstraints::AddConstraint ( const std::vector< LiteralWithCoeff > & cst,
Coefficient rhs,
Trail * trail )
inline

Definition at line 610 of file pb_constraint.h.

◆ AddLearnedConstraint()

bool operations_research::sat::PbConstraints::AddLearnedConstraint ( const std::vector< LiteralWithCoeff > & cst,
Coefficient rhs,
Trail * trail )

Definition at line 1025 of file pb_constraint.cc.

◆ BumpActivity()

void operations_research::sat::PbConstraints::BumpActivity ( UpperBoundedLinearConstraint * constraint)

Definition at line 1240 of file pb_constraint.cc.

◆ ClearConflictingConstraint()

void operations_research::sat::PbConstraints::ClearConflictingConstraint ( )
inline

Definition at line 632 of file pb_constraint.h.

◆ ConflictingConstraint()

UpperBoundedLinearConstraint * operations_research::sat::PbConstraints::ConflictingConstraint ( )
inline

Definition at line 633 of file pb_constraint.h.

◆ DeleteConstraint()

void operations_research::sat::PbConstraints::DeleteConstraint ( int index)
inline

Definition at line 649 of file pb_constraint.h.

◆ IsEmpty()

bool operations_research::sat::PbConstraints::IsEmpty ( ) const
inlinefinalvirtual

Reimplemented from operations_research::sat::SatPropagator.

Definition at line 625 of file pb_constraint.h.

◆ num_constraint_lookups()

int64_t operations_research::sat::PbConstraints::num_constraint_lookups ( ) const
inline

Definition at line 655 of file pb_constraint.h.

◆ num_inspected_constraint_literals()

int64_t operations_research::sat::PbConstraints::num_inspected_constraint_literals ( ) const
inline

Definition at line 656 of file pb_constraint.h.

◆ num_threshold_updates()

int64_t operations_research::sat::PbConstraints::num_threshold_updates ( ) const
inline

Definition at line 659 of file pb_constraint.h.

◆ NumberOfConstraints()

int operations_research::sat::PbConstraints::NumberOfConstraints ( ) const
inline

Definition at line 624 of file pb_constraint.h.

◆ operator=()

PbConstraints & operations_research::sat::PbConstraints::operator= ( const PbConstraints & )
delete

◆ Propagate()

bool operations_research::sat::PbConstraints::Propagate ( Trail * trail)
finalvirtual

Implements operations_research::sat::SatPropagator.

Definition at line 1092 of file pb_constraint.cc.

◆ Reason()

absl::Span< const Literal > operations_research::sat::PbConstraints::Reason ( const Trail & trail,
int trail_index,
int64_t conflict_id ) const
finalvirtual

Reimplemented from operations_research::sat::SatPropagator.

Definition at line 1133 of file pb_constraint.cc.

◆ ReasonPbConstraint()

UpperBoundedLinearConstraint * operations_research::sat::PbConstraints::ReasonPbConstraint ( int trail_index) const

Definition at line 1148 of file pb_constraint.cc.

◆ RescaleActivities()

void operations_research::sat::PbConstraints::RescaleActivities ( double scaling_factor)

Definition at line 1250 of file pb_constraint.cc.

◆ Resize()

void operations_research::sat::PbConstraints::Resize ( int num_variables)
inline

Definition at line 590 of file pb_constraint.h.

◆ Untrail()

void operations_research::sat::PbConstraints::Untrail ( const Trail & trail,
int trail_index )
finalvirtual

Reimplemented from operations_research::sat::SatPropagator.

Definition at line 1110 of file pb_constraint.cc.

◆ UpdateActivityIncrement()

void operations_research::sat::PbConstraints::UpdateActivityIncrement ( )

Definition at line 1257 of file pb_constraint.cc.

The documentation for this class was generated from the following files: