implied_bounds.cc File Reference

Go to the source code of this file.

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

Functions
std::string	EncodingStr (const std::vector< ValueLiteralPair > &enc)
std::vector< LiteralValueValue >	TryToReconcileEncodings (const AffineExpression &size2_affine, const AffineExpression &affine, const std::vector< ValueLiteralPair > &affine_var_encoding, bool put_affine_left_in_result, Model *model)
std::vector< LiteralValueValue >	TryToReconcileSize2Encodings (const AffineExpression &left, const AffineExpression &right, Model *model)
std::vector< LiteralValueValue >	TryToDecomposeProduct (const AffineExpression &left, const AffineExpression &right, Model *model)
bool	DetectLinearEncodingOfProducts (const AffineExpression &left, const AffineExpression &right, Model *model, LinearConstraintBuilder *builder)