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

Detailed Description

Utility class for the AllDiff cut generator.

Definition at line 726 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 ()
	Return int_max if the sum overflows.
IntegerValue	SumOfDifferentMins ()
IntegerValue	GetBestLowerBound (std::string &suffix)
int	size () const

Member Function Documentation

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

Definition at line 2357 of file cuts.cc.

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

Definition at line 2352 of file cuts.cc.

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

Definition at line 2404 of file cuts.cc.

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

inline

Definition at line 737 of file cuts.h.

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

Make sure values are different.

Definition at line 2392 of file cuts.cc.

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: