operations_research::ScipConstraintHandler< Constraint > Class Template Reference

Detailed Description

template<typename Constraint>
class operations_research::ScipConstraintHandler< Constraint >

Definition at line 114 of file scip_callback.h.

#include <scip_callback.h>

Public Member Functions
	ScipConstraintHandler (const ScipConstraintHandlerDescription &description)
virtual	~ScipConstraintHandler ()
const ScipConstraintHandlerDescription &	description () const
virtual std::vector< CallbackRangeConstraint >	SeparateFractionalSolution (const ScipConstraintHandlerContext &context, const Constraint &constraint)=0
virtual std::vector< CallbackRangeConstraint >	SeparateIntegerSolution (const ScipConstraintHandlerContext &context, const Constraint &constraint)
virtual bool	FractionalSolutionFeasible (const ScipConstraintHandlerContext &context, const Constraint &constraint)
	Returns true if no constraints are violated.
virtual bool	IntegerSolutionFeasible (const ScipConstraintHandlerContext &context, const Constraint &constraint)
	This MUST find a violated constraint if one exists.

Constructor & Destructor Documentation

ScipConstraintHandler()

template<typename Constraint>

operations_research::ScipConstraintHandler< Constraint >::ScipConstraintHandler ( const ScipConstraintHandlerDescription & description )

inlineexplicit

Definition at line 116 of file scip_callback.h.

~ScipConstraintHandler()

template<typename Constraint>

virtual operations_research::ScipConstraintHandler< Constraint >::~ScipConstraintHandler ( )

inlinevirtual

Definition at line 119 of file scip_callback.h.

Member Function Documentation

description()

template<typename Constraint>

const ScipConstraintHandlerDescription & operations_research::ScipConstraintHandler< Constraint >::description ( ) const

inline

Definition at line 120 of file scip_callback.h.

FractionalSolutionFeasible()

template<typename Constraint>

virtual bool operations_research::ScipConstraintHandler< Constraint >::FractionalSolutionFeasible ( const ScipConstraintHandlerContext & context, const Constraint & constraint )

inlinevirtual

Returns true if no constraints are violated.

Definition at line 139 of file scip_callback.h.

IntegerSolutionFeasible()

template<typename Constraint>

virtual bool operations_research::ScipConstraintHandler< Constraint >::IntegerSolutionFeasible ( const ScipConstraintHandlerContext & context, const Constraint & constraint )

inlinevirtual

This MUST find a violated constraint if one exists.

Definition at line 146 of file scip_callback.h.

SeparateFractionalSolution()

template<typename Constraint>

virtual std::vector< CallbackRangeConstraint > operations_research::ScipConstraintHandler< Constraint >::SeparateFractionalSolution ( const ScipConstraintHandlerContext & context, const Constraint & constraint )

pure virtual

Unless SeparateIntegerSolution() below is overridden, this must find a violated lazy constraint if one exists when given an integral solution.

Implemented in operations_research::ScipConstraintHandlerForMPCallback.

SeparateIntegerSolution()

template<typename Constraint>

virtual std::vector< CallbackRangeConstraint > operations_research::ScipConstraintHandler< Constraint >::SeparateIntegerSolution ( const ScipConstraintHandlerContext & context, const Constraint & constraint )

inlinevirtual

This MUST find a violated lazy constraint if one exists. All constraints returned must have is_cut as false.

Reimplemented in operations_research::ScipConstraintHandlerForMPCallback.

Definition at line 132 of file scip_callback.h.

---

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

• ortools/linear_solver/scip_callback.h