OR-Tools  9.6
Classes | Public Member Functions | Protected Attributes | List of all members
PbConstraints

Detailed Description

Definition at line 525 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 Literal > Reason (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
 
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
 
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 527 of file pb_constraint.h.

◆ ~PbConstraints()

~PbConstraints ( )
inlineoverride

Definition at line 539 of file pb_constraint.h.

Member Function Documentation

◆ AddConstraint()

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

Definition at line 835 of file pb_constraint.cc.

◆ AddLearnedConstraint()

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

Definition at line 896 of file pb_constraint.cc.

◆ BumpActivity()

void BumpActivity ( UpperBoundedLinearConstraint *  constraint)

Definition at line 1078 of file pb_constraint.cc.

◆ ClearConflictingConstraint()

void ClearConflictingConstraint ( )
inline

Definition at line 590 of file pb_constraint.h.

◆ ConflictingConstraint()

UpperBoundedLinearConstraint* ConflictingConstraint ( )
inline

Definition at line 591 of file pb_constraint.h.

◆ DeleteConstraint()

void DeleteConstraint ( int  index)
inline

Definition at line 607 of file pb_constraint.h.

◆ IsEmpty()

bool IsEmpty ( ) const
inlinefinalvirtual

Reimplemented from SatPropagator.

Definition at line 583 of file pb_constraint.h.

◆ num_constraint_lookups()

int64_t num_constraint_lookups ( ) const
inline

Definition at line 613 of file pb_constraint.h.

◆ num_inspected_constraint_literals()

int64_t num_inspected_constraint_literals ( ) const
inline

Definition at line 614 of file pb_constraint.h.

◆ num_threshold_updates()

int64_t num_threshold_updates ( ) const
inline

Definition at line 617 of file pb_constraint.h.

◆ NumberOfConstraints()

int NumberOfConstraints ( ) const
inline

Definition at line 582 of file pb_constraint.h.

◆ Propagate()

bool Propagate ( Trail *  trail)
finalvirtual

Implements SatPropagator.

Definition at line 946 of file pb_constraint.cc.

◆ PropagatePreconditionsAreSatisfied()

bool PropagatePreconditionsAreSatisfied ( const Trail &  trail) const
inlineinherited

Definition at line 553 of file sat_base.h.

◆ PropagationIsDone()

bool PropagationIsDone ( const Trail &  trail) const
inlineinherited

Definition at line 530 of file sat_base.h.

◆ PropagatorId()

int PropagatorId ( ) const
inlineinherited

Definition at line 483 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 977 of file pb_constraint.cc.

◆ ReasonPbConstraint()

UpperBoundedLinearConstraint * ReasonPbConstraint ( int  trail_index) const

Definition at line 988 of file pb_constraint.cc.

◆ RescaleActivities()

void RescaleActivities ( double  scaling_factor)

Definition at line 1088 of file pb_constraint.cc.

◆ Resize()

void Resize ( int  num_variables)
inline

Definition at line 553 of file pb_constraint.h.

◆ SetPropagatorId()

void SetPropagatorId ( int  id)
inlineinherited

Definition at line 482 of file sat_base.h.

◆ Untrail()

void Untrail ( const Trail &  trail,
int  trail_index 
)
finalvirtual

Reimplemented from SatPropagator.

Definition at line 954 of file pb_constraint.cc.

◆ UpdateActivityIncrement()

void UpdateActivityIncrement ( )

Definition at line 1095 of file pb_constraint.cc.

Member Data Documentation

◆ name_

const std::string name_
protectedinherited

Definition at line 541 of file sat_base.h.

◆ propagation_trail_index_

int propagation_trail_index_
protectedinherited

Definition at line 543 of file sat_base.h.

◆ propagator_id_

int propagator_id_
protectedinherited

Definition at line 542 of file sat_base.h.

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