Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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 ()
 
IntegerValue SumOfDifferentMins ()
 
IntegerValue GetBestLowerBound (std::string &suffix)
 
int size () const
 

Detailed Description

Utility class for the AllDiff cut generator.

Definition at line 715 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 2344 of file cuts.cc.

◆ Clear()

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

Definition at line 2339 of file cuts.cc.

◆ GetBestLowerBound()

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

Definition at line 2391 of file cuts.cc.

◆ size()

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

Definition at line 725 of file cuts.h.

◆ SumOfDifferentMins()

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

Make sure values are different.

Definition at line 2379 of file cuts.cc.

◆ SumOfMinDomainValues()

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

Definition at line 2369 of file cuts.cc.

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