OR-Tools  9.6
Public Member Functions | List of all members
ActivityBoundHelper

Detailed Description

Definition at line 110 of file presolve_util.h.

Public Member Functions

 ActivityBoundHelper ()
 
void ClearAtMostOnes ()
 
void AddAtMostOne (absl::Span< const int > amo)
 
void AddAllAtMostOnes (const CpModelProto &proto)
 
int64_t ComputeMaxActivity (absl::Span< const std::pair< int, int64_t >> terms, std::vector< std::array< int64_t, 2 >> *conditional=nullptr)
 
int64_t ComputeMinActivity (absl::Span< const std::pair< int, int64_t >> terms, std::vector< std::array< int64_t, 2 >> *conditional=nullptr)
 
bool PresolveEnforcement (absl::Span< const int > refs, ConstraintProto *ct, absl::flat_hash_set< int > *literals_at_true)
 
std::vector< absl::Span< const int > > PartitionLiteralsIntoAmo (absl::Span< const int > literals)
 
bool IsAmo (absl::Span< const int > literals)
 

Constructor & Destructor Documentation

◆ ActivityBoundHelper()

ActivityBoundHelper ( )
inline

Definition at line 112 of file presolve_util.h.

Member Function Documentation

◆ AddAllAtMostOnes()

void AddAllAtMostOnes ( const CpModelProto &  proto)

Definition at line 257 of file presolve_util.cc.

◆ AddAtMostOne()

void AddAtMostOne ( absl::Span< const int >  amo)

Definition at line 236 of file presolve_util.cc.

◆ ClearAtMostOnes()

void ClearAtMostOnes ( )

Definition at line 231 of file presolve_util.cc.

◆ ComputeMaxActivity()

int64_t ComputeMaxActivity ( absl::Span< const std::pair< int, int64_t >>  terms,
std::vector< std::array< int64_t, 2 >> *  conditional = nullptr 
)
inline

Definition at line 137 of file presolve_util.h.

◆ ComputeMinActivity()

int64_t ComputeMinActivity ( absl::Span< const std::pair< int, int64_t >>  terms,
std::vector< std::array< int64_t, 2 >> *  conditional = nullptr 
)
inline

Definition at line 142 of file presolve_util.h.

◆ IsAmo()

bool IsAmo ( absl::Span< const int >  literals)

Definition at line 453 of file presolve_util.cc.

◆ PartitionLiteralsIntoAmo()

std::vector< absl::Span< const int > > PartitionLiteralsIntoAmo ( absl::Span< const int >  literals)

Definition at line 382 of file presolve_util.cc.

◆ PresolveEnforcement()

bool PresolveEnforcement ( absl::Span< const int >  refs,
ConstraintProto *  ct,
absl::flat_hash_set< int > *  literals_at_true 
)

Definition at line 516 of file presolve_util.cc.

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