CpModelPresolver

Detailed Description

Definition at line 70 of file cp_model_presolve.h.

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

Constructor & Destructor Documentation

CpModelPresolver()

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

Definition at line 10483 of file cp_model_presolve.cc.

Member Function Documentation

Presolve()

CpSolverStatus Presolve

(

)

Definition at line 10509 of file cp_model_presolve.cc.

PresolveOneConstraint()

bool PresolveOneConstraint

(

int

c

)

Definition at line 7298 of file cp_model_presolve.cc.

RemoveEmptyConstraints()

void RemoveEmptyConstraints

(

)

Definition at line 101 of file cp_model_presolve.cc.

---

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

• cp_model_presolve.h
• cp_model_presolve.cc