#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)
	Adds a cut to the local pool.

void	TransferToManager (LinearConstraintManager *manager)
	Empty the local pool and add all its content to the manager.

Detailed Description

Before adding cuts to the global pool, it is a classical thing to only keep the top n of a given type during one generation round. This is there to help doing that.

Todo

(user): Avoid computing efficacity twice.

(user): We don't use any orthogonality consideration here.

(user): Detect duplicate cuts?

Definition at line 292 of file linear_constraint_manager.h.

Constructor & Destructor Documentation

◆ TopNCuts()

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

inlineexplicit

Definition at line 294 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 )

Adds a cut to the local pool.

Definition at line 793 of file linear_constraint_manager.cc.

◆ TransferToManager()

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

Empty the local pool and add all its content to the manager.

Definition at line 804 of file linear_constraint_manager.cc.

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