OR-Tools  8.2
PbConstraints

Detailed Description

Definition at line 515 of file pb_constraint.h.

Public Member Functions

 PbConstraints (Model *model)
 
 ~PbConstraints () override
 
bool Propagate (Trail *trail) final
 
void Untrail (const Trail &trail, int trail_index) final
 
absl::Span< const LiteralReason (const Trail &trail, int trail_index) const final
 
void Resize (int num_variables)
 
bool AddConstraint (const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)
 
bool AddLearnedConstraint (const std::vector< LiteralWithCoeff > &cst, Coefficient rhs, Trail *trail)
 
int NumberOfConstraints () const
 
void ClearConflictingConstraint ()
 
UpperBoundedLinearConstraintConflictingConstraint ()
 
UpperBoundedLinearConstraintReasonPbConstraint (int trail_index) const
 
void BumpActivity (UpperBoundedLinearConstraint *constraint)
 
void RescaleActivities (double scaling_factor)
 
void UpdateActivityIncrement ()
 
void DeleteConstraint (int index)
 
int64 num_constraint_lookups () const
 
int64 num_inspected_constraint_literals () const
 
int64 num_threshold_updates () const
 
void SetPropagatorId (int id)
 
int PropagatorId () const
 
bool PropagatePreconditionsAreSatisfied (const Trail &trail) const
 
bool PropagationIsDone (const Trail &trail) const
 

Protected Attributes

const std::string name_
 
int propagator_id_
 
int propagation_trail_index_
 

Constructor & Destructor Documentation

◆ PbConstraints()

PbConstraints ( Model model)
inlineexplicit

Definition at line 517 of file pb_constraint.h.

◆ ~PbConstraints()

~PbConstraints ( )
inlineoverride

Definition at line 529 of file pb_constraint.h.

Member Function Documentation

◆ AddConstraint()

bool AddConstraint ( const std::vector< LiteralWithCoeff > &  cst,
Coefficient  rhs,
Trail trail 
)

Definition at line 824 of file pb_constraint.cc.

◆ AddLearnedConstraint()

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

Definition at line 885 of file pb_constraint.cc.

◆ BumpActivity()

void BumpActivity ( UpperBoundedLinearConstraint constraint)

Definition at line 1067 of file pb_constraint.cc.

◆ ClearConflictingConstraint()

void ClearConflictingConstraint ( )
inline

Definition at line 579 of file pb_constraint.h.

◆ ConflictingConstraint()

UpperBoundedLinearConstraint* ConflictingConstraint ( )
inline

Definition at line 580 of file pb_constraint.h.

◆ DeleteConstraint()

void DeleteConstraint ( int  index)
inline

Definition at line 596 of file pb_constraint.h.

◆ num_constraint_lookups()

int64 num_constraint_lookups ( ) const
inline

Definition at line 602 of file pb_constraint.h.

◆ num_inspected_constraint_literals()

int64 num_inspected_constraint_literals ( ) const
inline

Definition at line 603 of file pb_constraint.h.

◆ num_threshold_updates()

int64 num_threshold_updates ( ) const
inline

Definition at line 606 of file pb_constraint.h.

◆ NumberOfConstraints()

int NumberOfConstraints ( ) const
inline

Definition at line 572 of file pb_constraint.h.

◆ Propagate()

bool Propagate ( Trail trail)
finalvirtual

Implements SatPropagator.

Definition at line 935 of file pb_constraint.cc.

◆ PropagatePreconditionsAreSatisfied()

bool PropagatePreconditionsAreSatisfied ( const Trail trail) const
inlineinherited

Definition at line 517 of file sat_base.h.

◆ PropagationIsDone()

bool PropagationIsDone ( const Trail trail) const
inlineinherited

Definition at line 500 of file sat_base.h.

◆ PropagatorId()

int PropagatorId ( ) const
inlineinherited

Definition at line 453 of file sat_base.h.

◆ Reason()

absl::Span< const Literal > Reason ( const Trail trail,
int  trail_index 
) const
finalvirtual

Reimplemented from SatPropagator.

Definition at line 966 of file pb_constraint.cc.

◆ ReasonPbConstraint()

UpperBoundedLinearConstraint * ReasonPbConstraint ( int  trail_index) const

Definition at line 977 of file pb_constraint.cc.

◆ RescaleActivities()

void RescaleActivities ( double  scaling_factor)

Definition at line 1077 of file pb_constraint.cc.

◆ Resize()

void Resize ( int  num_variables)
inline

Definition at line 543 of file pb_constraint.h.

◆ SetPropagatorId()

void SetPropagatorId ( int  id)
inlineinherited

Definition at line 452 of file sat_base.h.

◆ Untrail()

void Untrail ( const Trail trail,
int  trail_index 
)
finalvirtual

Reimplemented from SatPropagator.

Definition at line 943 of file pb_constraint.cc.

◆ UpdateActivityIncrement()

void UpdateActivityIncrement ( )

Definition at line 1084 of file pb_constraint.cc.

Member Data Documentation

◆ name_

const std::string name_
protectedinherited

Definition at line 505 of file sat_base.h.

◆ propagation_trail_index_

int propagation_trail_index_
protectedinherited

Definition at line 507 of file sat_base.h.

◆ propagator_id_

int propagator_id_
protectedinherited

Definition at line 506 of file sat_base.h.


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