33#ifndef __SCIP_PROP_PROBING_H__
34#define __SCIP_PROP_PROBING_H__
96 SCIP_Real* leftimpllbs,
97 SCIP_Real* leftimplubs,
98 SCIP_Real* leftproplbs,
99 SCIP_Real* leftpropubs,
100 SCIP_Real* rightimpllbs,
101 SCIP_Real* rightimplubs,
102 SCIP_Real* rightproplbs,
103 SCIP_Real* rightpropubs,
common defines and data types used in all packages of SCIP
SCIP_RETCODE SCIPapplyProbingVar(SCIP *scip, SCIP_VAR **vars, int nvars, int probingpos, SCIP_BOUNDTYPE boundtype, SCIP_Real bound, int maxproprounds, SCIP_Real *impllbs, SCIP_Real *implubs, SCIP_Real *proplbs, SCIP_Real *propubs, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPanalyzeDeductionsProbing(SCIP *scip, SCIP_VAR *probingvar, SCIP_Real leftub, SCIP_Real rightlb, int nvars, SCIP_VAR **vars, SCIP_Real *leftimpllbs, SCIP_Real *leftimplubs, SCIP_Real *leftproplbs, SCIP_Real *leftpropubs, SCIP_Real *rightimpllbs, SCIP_Real *rightimplubs, SCIP_Real *rightproplbs, SCIP_Real *rightpropubs, int *nfixedvars, int *naggrvars, int *nimplications, int *nchgbds, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPincludePropProbing(SCIP *scip)
type definitions for LP management
enum SCIP_BoundType SCIP_BOUNDTYPE
type definitions for return codes for SCIP methods
enum SCIP_Retcode SCIP_RETCODE
type definitions for SCIP's main datastructure
type definitions for problem variables