implied_bounds.h File Reference

Go to the source code of this file.

Classes
struct	ImpliedBoundEntry
class	ImpliedBounds
class	ProductDetector

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.
	operations_research::sat

Functions
std::vector< LiteralValueValue >	TryToDecomposeProduct (const AffineExpression &left, const AffineExpression &right, Model *model)
bool	DetectLinearEncodingOfProducts (const AffineExpression &left, const AffineExpression &right, Model *model, LinearConstraintBuilder *builder)