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

Detailed Description

Definition at line 426 of file linear_constraint_manager.h.

#include <linear_constraint_manager.h>

Public Member Functions

 TopNCuts (int n)
void AddCut (LinearConstraint ct, absl::string_view name, const util_intops::StrongVector< IntegerVariable, double > &lp_solution)
void TransferToManager (LinearConstraintManager *manager)

Constructor & Destructor Documentation

◆ TopNCuts()

operations_research::sat::TopNCuts::TopNCuts ( int n)
inlineexplicit

Definition at line 428 of file linear_constraint_manager.h.

Member Function Documentation

◆ AddCut()

void operations_research::sat::TopNCuts::AddCut ( LinearConstraint ct,
absl::string_view name,
const util_intops::StrongVector< IntegerVariable, double > & lp_solution )

Definition at line 1018 of file linear_constraint_manager.cc.

◆ TransferToManager()

void operations_research::sat::TopNCuts::TransferToManager ( LinearConstraintManager * manager)

Definition at line 1026 of file linear_constraint_manager.cc.

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