operations_research::sat::CpModelPresolver Class Reference

Detailed Description

Definition at line 83 of file cp_model_presolve.h.

#include <cp_model_presolve.h>

Public Member Functions
	CpModelPresolver (PresolveContext *context, std::vector< int > *postsolve_mapping)
CpSolverStatus	Presolve ()
bool	PresolveOneConstraint (int c)
void	RemoveEmptyConstraints ()
void	DetectDuplicateColumns ()
void	DetectDifferentVariables ()

Constructor & Destructor Documentation

CpModelPresolver()

operations_research::sat::CpModelPresolver::CpModelPresolver	(	PresolveContext *	context,
		std::vector< int > *	postsolve_mapping )

Definition at line 13679 of file cp_model_presolve.cc.

Member Function Documentation

DetectDifferentVariables()

void operations_research::sat::CpModelPresolver::DetectDifferentVariables

(

)

Definition at line 11142 of file cp_model_presolve.cc.

DetectDuplicateColumns()

void operations_research::sat::CpModelPresolver::DetectDuplicateColumns

(

)

Definition at line 10478 of file cp_model_presolve.cc.

Presolve()

CpSolverStatus operations_research::sat::CpModelPresolver::Presolve

(

)

Definition at line 13829 of file cp_model_presolve.cc.

PresolveOneConstraint()

bool operations_research::sat::CpModelPresolver::PresolveOneConstraint

(

int

c

)

Definition at line 9719 of file cp_model_presolve.cc.

RemoveEmptyConstraints()

void operations_research::sat::CpModelPresolver::RemoveEmptyConstraints

(

)

Definition at line 139 of file cp_model_presolve.cc.

---

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

• ortools/sat/cp_model_presolve.h
• ortools/sat/cp_model_presolve.cc