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

Detailed Description

Definition at line 234 of file implied_bounds.h.

#include <implied_bounds.h>

Public Member Functions

 ProductDecomposer (Model *model)
std::vector< LiteralValueValue > TryToDecompose (const AffineExpression &left, const AffineExpression &right)
bool TryToLinearize (const AffineExpression &left, const AffineExpression &right, LinearConstraintBuilder *builder)

Constructor & Destructor Documentation

◆ ProductDecomposer()

operations_research::sat::ProductDecomposer::ProductDecomposer ( Model * model)
inlineexplicit

Definition at line 236 of file implied_bounds.h.

Member Function Documentation

◆ TryToDecompose()

std::vector< LiteralValueValue > operations_research::sat::ProductDecomposer::TryToDecompose ( const AffineExpression & left,
const AffineExpression & right )

Definition at line 409 of file implied_bounds.cc.

◆ TryToLinearize()

bool operations_research::sat::ProductDecomposer::TryToLinearize ( const AffineExpression & left,
const AffineExpression & right,
LinearConstraintBuilder * builder )

Definition at line 492 of file implied_bounds.cc.

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