OR-Tools  8.2
UpperBoundedLinearConstraint

Detailed Description

Definition at line 373 of file pb_constraint.h.

Public Member Functions

 UpperBoundedLinearConstraint (const std::vector< LiteralWithCoeff > &cst)
 
bool HasIdenticalTerms (const std::vector< LiteralWithCoeff > &cst)
 
Coefficient Rhs () const
 
bool InitializeRhs (Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)
 
bool Propagate (int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)
 
void Untrail (Coefficient *threshold, int trail_index)
 
void FillReason (const Trail &trail, int source_trail_index, BooleanVariable propagated_variable, std::vector< Literal > *reason)
 
void ResolvePBConflict (const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack)
 
void AddToConflict (MutableUpperBoundedLinearConstraint *conflict)
 
Coefficient ComputeCancelation (const Trail &trail, int trail_index, const MutableUpperBoundedLinearConstraint &conflict)
 
void MarkForDeletion ()
 
bool is_marked_for_deletion () const
 
void set_is_learned (bool is_learned)
 
bool is_learned () const
 
bool is_used_as_a_reason () const
 
void set_activity (double activity)
 
double activity () const
 
int64 hash () const
 
int already_propagated_end () const
 

Constructor & Destructor Documentation

◆ UpperBoundedLinearConstraint()

UpperBoundedLinearConstraint ( const std::vector< LiteralWithCoeff > &  cst)
explicit

Definition at line 390 of file pb_constraint.cc.

Member Function Documentation

◆ activity()

double activity ( ) const
inline

Definition at line 468 of file pb_constraint.h.

◆ AddToConflict()

void AddToConflict ( MutableUpperBoundedLinearConstraint conflict)

Definition at line 431 of file pb_constraint.cc.

◆ already_propagated_end()

int already_propagated_end ( ) const
inline

Definition at line 476 of file pb_constraint.h.

◆ ComputeCancelation()

Coefficient ComputeCancelation ( const Trail trail,
int  trail_index,
const MutableUpperBoundedLinearConstraint conflict 
)

Definition at line 647 of file pb_constraint.cc.

◆ FillReason()

void FillReason ( const Trail trail,
int  source_trail_index,
BooleanVariable  propagated_variable,
std::vector< Literal > *  reason 
)

Definition at line 576 of file pb_constraint.cc.

◆ hash()

int64 hash ( ) const
inline

Definition at line 472 of file pb_constraint.h.

◆ HasIdenticalTerms()

bool HasIdenticalTerms ( const std::vector< LiteralWithCoeff > &  cst)

Definition at line 443 of file pb_constraint.cc.

◆ InitializeRhs()

bool InitializeRhs ( Coefficient  rhs,
int  trail_index,
Coefficient *  threshold,
Trail trail,
PbConstraintsEnqueueHelper helper 
)

Definition at line 459 of file pb_constraint.cc.

◆ is_learned()

bool is_learned ( ) const
inline

Definition at line 462 of file pb_constraint.h.

◆ is_marked_for_deletion()

bool is_marked_for_deletion ( ) const
inline

Definition at line 457 of file pb_constraint.h.

◆ is_used_as_a_reason()

bool is_used_as_a_reason ( ) const
inline

Definition at line 463 of file pb_constraint.h.

◆ MarkForDeletion()

void MarkForDeletion ( )
inline

Definition at line 456 of file pb_constraint.h.

◆ Propagate()

bool Propagate ( int  trail_index,
Coefficient *  threshold,
Trail trail,
PbConstraintsEnqueueHelper helper 
)

Definition at line 533 of file pb_constraint.cc.

◆ ResolvePBConflict()

void ResolvePBConflict ( const Trail trail,
BooleanVariable  var,
MutableUpperBoundedLinearConstraint conflict,
Coefficient *  conflict_slack 
)

Definition at line 664 of file pb_constraint.cc.

◆ Rhs()

Coefficient Rhs ( ) const
inline

Definition at line 381 of file pb_constraint.h.

◆ set_activity()

void set_activity ( double  activity)
inline

Definition at line 467 of file pb_constraint.h.

◆ set_is_learned()

void set_is_learned ( bool  is_learned)
inline

Definition at line 461 of file pb_constraint.h.

◆ Untrail()

void Untrail ( Coefficient *  threshold,
int  trail_index 
)

Definition at line 812 of file pb_constraint.cc.


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