operations_research::sat::BoolRLTCutHelper Class Reference

Detailed Description

Definition at line 637 of file cuts.h.

#include <cuts.h>

Public Member Functions
	BoolRLTCutHelper (Model *model)
	~BoolRLTCutHelper ()
void	Initialize (absl::Span< const IntegerVariable > lp_vars)
bool	TrySimpleSeparation (const CutData &input_ct)
const CutData &	cut () const
std::string	Info () const

Constructor & Destructor Documentation

BoolRLTCutHelper()

operations_research::sat::BoolRLTCutHelper::BoolRLTCutHelper ( Model * model )

inlineexplicit

Definition at line 639 of file cuts.h.

~BoolRLTCutHelper()

operations_research::sat::BoolRLTCutHelper::~BoolRLTCutHelper

(

)

Definition at line 1890 of file cuts.cc.

Member Function Documentation

cut()

const CutData & operations_research::sat::BoolRLTCutHelper::cut ( ) const

inline

Definition at line 653 of file cuts.h.

Info()

std::string operations_research::sat::BoolRLTCutHelper::Info ( ) const

inline

Definition at line 656 of file cuts.h.

Initialize()

void operations_research::sat::BoolRLTCutHelper::Initialize

(

absl::Span< const IntegerVariable >

lp_vars

)

Definition at line 1898 of file cuts.cc.

TrySimpleSeparation()

bool operations_research::sat::BoolRLTCutHelper::TrySimpleSeparation

(

const CutData &

input_ct

)

Definition at line 1904 of file cuts.cc.

---

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

• ortools/sat/cuts.h
• ortools/sat/cuts.cc