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

Utility class for the AllDiff cut generator. More...

#include <cuts.h>

Public Member Functions

void Clear ()
void Add (const AffineExpression &expr, int num_expr, const IntegerTrail &integer_trail)
IntegerValue SumOfMinDomainValues ()
 Return int_max if the sum overflows.
IntegerValue SumOfDifferentMins ()
IntegerValue GetBestLowerBound (std::string &suffix)
int size () const

Detailed Description

Utility class for the AllDiff cut generator.

Definition at line 726 of file cuts.h.

Member Function Documentation

◆ Add()

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

Definition at line 2357 of file cuts.cc.

◆ Clear()

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

Definition at line 2352 of file cuts.cc.

◆ GetBestLowerBound()

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

Definition at line 2404 of file cuts.cc.

◆ size()

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

Definition at line 737 of file cuts.h.

◆ SumOfDifferentMins()

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

Make sure values are different.

Definition at line 2392 of file cuts.cc.

◆ SumOfMinDomainValues()

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

Return int_max if the sum overflows.

Definition at line 2382 of file cuts.cc.


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