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

Detailed Description

Definition at line 161 of file cuts.h.

#include <cuts.h>

Public Member Functions

bool ConvertToLinearConstraint (const CutData &cut, LinearConstraint *output)
int AddOrMergeBooleanTerms (absl::Span< CutTerm > terms, IntegerValue t, CutData *cut)

Member Function Documentation

◆ AddOrMergeBooleanTerms()

int operations_research::sat::CutDataBuilder::AddOrMergeBooleanTerms ( absl::Span< CutTerm > terms,
IntegerValue t,
CutData * cut )

Definition at line 300 of file cuts.cc.

◆ ConvertToLinearConstraint()

bool operations_research::sat::CutDataBuilder::ConvertToLinearConstraint ( const CutData & cut,
LinearConstraint * output )

Definition at line 353 of file cuts.cc.

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