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

Detailed Description

Definition at line 786 of file cuts.h.

#include <cuts.h>

Public Member Functions

void Clear ()
void Add (const AffineExpression &expr, int num_expr, const IntegerTrail &integer_trail)
IntegerValue SumOfMinDomainValues ()
IntegerValue SumOfDifferentMins ()
IntegerValue GetBestLowerBound (std::string &suffix)
int size () const

Member Function Documentation

◆ Add()

void operations_research::sat::SumOfAllDiffLowerBounder::Add ( const AffineExpression & expr,
int num_expr,
const IntegerTrail & integer_trail )

Definition at line 2584 of file cuts.cc.

◆ Clear()

void operations_research::sat::SumOfAllDiffLowerBounder::Clear ( )

Definition at line 2579 of file cuts.cc.

◆ GetBestLowerBound()

IntegerValue operations_research::sat::SumOfAllDiffLowerBounder::GetBestLowerBound ( std::string & suffix)

Definition at line 2631 of file cuts.cc.

◆ size()

int operations_research::sat::SumOfAllDiffLowerBounder::size ( ) const
inline

Definition at line 797 of file cuts.h.

◆ SumOfDifferentMins()

IntegerValue operations_research::sat::SumOfAllDiffLowerBounder::SumOfDifferentMins ( )

Definition at line 2619 of file cuts.cc.

◆ SumOfMinDomainValues()

IntegerValue operations_research::sat::SumOfAllDiffLowerBounder::SumOfMinDomainValues ( )

Definition at line 2609 of file cuts.cc.

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