Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::GScipConstraintHandler< ConstraintData > Class Template Reference

Detailed Description

template<typename ConstraintData>
class operations_research::GScipConstraintHandler< ConstraintData >

Definition at line 286 of file gscip_constraint_handler.h.

#include <gscip_constraint_handler.h>

Public Member Functions

 GScipConstraintHandler (const GScipConstraintHandlerProperties &properties)
virtual ~GScipConstraintHandler ()=default
const GScipConstraintHandlerPropertiesproperties () const
absl::Status Register (GScip *gscip)
absl::StatusOr< SCIP_CONS * > AddCallbackConstraint (GScip *gscip, const std::string &constraint_name, const ConstraintData *constraint_data, const GScipConstraintOptions &options=DefaultGScipConstraintOptions())
virtual absl::StatusOr< GScipCallbackResultEnforceLp (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool solution_infeasible)
virtual absl::StatusOr< GScipCallbackResultEnforcePseudoSolution (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool solution_infeasible, bool objective_infeasible)
virtual absl::StatusOr< bool > CheckIsFeasible (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool check_integrality, bool check_lp_rows, bool print_reason, bool check_completely)
virtual std::vector< std::pair< SCIP_VAR *, RoundingLockDirection > > RoundingLock (GScip *gscip, const ConstraintData &constraint_data, bool lock_type_is_model)
virtual absl::StatusOr< GScipCallbackResultSeparateLp (GScipConstraintHandlerContext context, const ConstraintData &constraint_data)
virtual absl::StatusOr< GScipCallbackResultSeparateSolution (GScipConstraintHandlerContext context, const ConstraintData &constraint_data)
GScipCallbackResult CallEnforceLp (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool solution_infeasible)
GScipCallbackResult CallEnforcePseudoSolution (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool solution_infeasible, bool objective_infeasible)
GScipCallbackResult CallCheckIsFeasible (GScipConstraintHandlerContext context, const ConstraintData &constraint_data, bool check_integrality, bool check_lp_rows, bool print_reason, bool check_completely)
GScipCallbackResult CallSeparateLp (GScipConstraintHandlerContext context, const ConstraintData &constraint_data)
GScipCallbackResult CallSeparateSolution (GScipConstraintHandlerContext context, const ConstraintData &constraint_data)

Constructor & Destructor Documentation

◆ GScipConstraintHandler()

template<typename ConstraintData>
operations_research::GScipConstraintHandler< ConstraintData >::GScipConstraintHandler ( const GScipConstraintHandlerProperties & properties)
inlineexplicit

Definition at line 291 of file gscip_constraint_handler.h.

◆ ~GScipConstraintHandler()

template<typename ConstraintData>
virtual operations_research::GScipConstraintHandler< ConstraintData >::~GScipConstraintHandler ( )
virtualdefault

Member Function Documentation

◆ AddCallbackConstraint()

template<typename ConstraintData>
absl::StatusOr< SCIP_CONS * > operations_research::GScipConstraintHandler< ConstraintData >::AddCallbackConstraint ( GScip * gscip,
const std::string & constraint_name,
const ConstraintData * constraint_data,
const GScipConstraintOptions & options = DefaultGScipConstraintOptions() )

Definition at line 586 of file gscip_constraint_handler.h.

◆ CallCheckIsFeasible()

template<typename ConstraintData>
GScipCallbackResult operations_research::GScipConstraintHandler< ConstraintData >::CallCheckIsFeasible ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool check_integrality,
bool check_lp_rows,
bool print_reason,
bool check_completely )

Definition at line 688 of file gscip_constraint_handler.h.

◆ CallEnforceLp()

template<typename ConstraintData>
GScipCallbackResult operations_research::GScipConstraintHandler< ConstraintData >::CallEnforceLp ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool solution_infeasible )

Definition at line 667 of file gscip_constraint_handler.h.

◆ CallEnforcePseudoSolution()

template<typename ConstraintData>
GScipCallbackResult operations_research::GScipConstraintHandler< ConstraintData >::CallEnforcePseudoSolution ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool solution_infeasible,
bool objective_infeasible )

Definition at line 677 of file gscip_constraint_handler.h.

◆ CallSeparateLp()

template<typename ConstraintData>
GScipCallbackResult operations_research::GScipConstraintHandler< ConstraintData >::CallSeparateLp ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data )

Definition at line 706 of file gscip_constraint_handler.h.

◆ CallSeparateSolution()

template<typename ConstraintData>
GScipCallbackResult operations_research::GScipConstraintHandler< ConstraintData >::CallSeparateSolution ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data )

Definition at line 715 of file gscip_constraint_handler.h.

◆ CheckIsFeasible()

template<typename ConstraintData>
absl::StatusOr< bool > operations_research::GScipConstraintHandler< ConstraintData >::CheckIsFeasible ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool check_integrality,
bool check_lp_rows,
bool print_reason,
bool check_completely )
virtual

◆ EnforceLp()

template<typename ConstraintData>
absl::StatusOr< GScipCallbackResult > operations_research::GScipConstraintHandler< ConstraintData >::EnforceLp ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool solution_infeasible )
virtual

◆ EnforcePseudoSolution()

template<typename ConstraintData>
absl::StatusOr< GScipCallbackResult > operations_research::GScipConstraintHandler< ConstraintData >::EnforcePseudoSolution ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data,
bool solution_infeasible,
bool objective_infeasible )
virtual

◆ properties()

template<typename ConstraintData>
const GScipConstraintHandlerProperties & operations_research::GScipConstraintHandler< ConstraintData >::properties ( ) const
inline

Definition at line 297 of file gscip_constraint_handler.h.

◆ Register()

template<typename ConstraintData>
absl::Status operations_research::GScipConstraintHandler< ConstraintData >::Register ( GScip * gscip)

Definition at line 577 of file gscip_constraint_handler.h.

◆ RoundingLock()

template<typename ConstraintData>
std::vector< std::pair< SCIP_VAR *, RoundingLockDirection > > operations_research::GScipConstraintHandler< ConstraintData >::RoundingLock ( GScip * gscip,
const ConstraintData & constraint_data,
bool lock_type_is_model )
virtual

◆ SeparateLp()

template<typename ConstraintData>
absl::StatusOr< GScipCallbackResult > operations_research::GScipConstraintHandler< ConstraintData >::SeparateLp ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data )
virtual

◆ SeparateSolution()

template<typename ConstraintData>
absl::StatusOr< GScipCallbackResult > operations_research::GScipConstraintHandler< ConstraintData >::SeparateSolution ( GScipConstraintHandlerContext context,
const ConstraintData & constraint_data )
virtual

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