Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::ScipConstraintHandler< Constraint > Class Template Referenceabstract

#include <scip_callback.h>

Public Member Functions

 ScipConstraintHandler (const ScipConstraintHandlerDescription &description)
 
virtual ~ScipConstraintHandler ()
 
const ScipConstraintHandlerDescriptiondescription () const
 
virtual std::vector< CallbackRangeConstraintSeparateFractionalSolution (const ScipConstraintHandlerContext &context, const Constraint &constraint)=0
 
virtual std::vector< CallbackRangeConstraintSeparateIntegerSolution (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.
 

Detailed Description

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

Definition at line 114 of file scip_callback.h.

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: