Scippy

SCIP

Solving Constraint Integer Programs

Macros | Functions
nlhdlr.h File Reference
Internal API of SCIP

Detailed Description

private functions of nonlinear handlers of nonlinear constraints

Author
Ksenia Bestuzheva
Benjamin Mueller
Felipe Serrano
Stefan Vigerske

Definition in file nlhdlr.h.

#include "scip/pub_nlhdlr.h"
#include "scip/struct_nlhdlr.h"

Go to the source code of this file.

Macros

#define SCIPnlhdlrResetNDetectionslast(nlhdlr)   (nlhdlr)->ndetectionslast = 0
 
#define SCIPnlhdlrIncrementNCutoffs(nlhdlr)   ++(nlhdlr)->ncutoffs
 
#define SCIPnlhdlrIncrementNSeparated(nlhdlr)   ++(nlhdlr)->nseparated
 

Functions

SCIP_RETCODE SCIPnlhdlrCreate (SCIP *scip, SCIP_NLHDLR **nlhdlr, const char *name, const char *desc, int detectpriority, int enfopriority, SCIP_DECL_NLHDLRDETECT((*detect)), SCIP_DECL_NLHDLREVALAUX((*evalaux)), SCIP_NLHDLRDATA *nlhdlrdata)
 
SCIP_RETCODE SCIPnlhdlrFree (SCIP *scip, SCIP_NLHDLR **nlhdlr)
 
 SCIP_DECL_NLHDLRCOPYHDLR (SCIPnlhdlrCopyhdlr)
 
 SCIP_DECL_NLHDLRFREEEXPRDATA (SCIPnlhdlrFreeexprdata)
 
 SCIP_DECL_NLHDLRINIT (SCIPnlhdlrInit)
 
 SCIP_DECL_NLHDLREXIT (SCIPnlhdlrExit)
 
 SCIP_DECL_NLHDLRDETECT (SCIPnlhdlrDetect)
 
 SCIP_DECL_NLHDLREVALAUX (SCIPnlhdlrEvalaux)
 
 SCIP_DECL_NLHDLRINTEVAL (SCIPnlhdlrInteval)
 
 SCIP_DECL_NLHDLRREVERSEPROP (SCIPnlhdlrReverseprop)
 
 SCIP_DECL_NLHDLRINITSEPA (SCIPnlhdlrInitsepa)
 
 SCIP_DECL_NLHDLREXITSEPA (SCIPnlhdlrExitsepa)
 
 SCIP_DECL_NLHDLRENFO (SCIPnlhdlrEnfo)
 
 SCIP_DECL_NLHDLRESTIMATE (SCIPnlhdlrEstimate)
 
void SCIPnlhdlrResetNDetectionslast (SCIP_NLHDLR *nlhdlr)
 
void SCIPnlhdlrIncrementNCutoffs (SCIP_NLHDLR *nlhdlr)
 
void SCIPnlhdlrIncrementNSeparated (SCIP_NLHDLR *nlhdlr)
 
void SCIPnlhdlrPrintStatistics (SCIP *scip, SCIP_NLHDLR **nlhdlrs, int nnlhdlrs, FILE *file)
 

Macro Definition Documentation

◆ SCIPnlhdlrResetNDetectionslast

#define SCIPnlhdlrResetNDetectionslast (   nlhdlr)    (nlhdlr)->ndetectionslast = 0

Definition at line 117 of file nlhdlr.h.

Referenced by canonicalizeConstraints(), and SCIP_DECL_CONSINITSOL().

◆ SCIPnlhdlrIncrementNCutoffs

#define SCIPnlhdlrIncrementNCutoffs (   nlhdlr)    ++(nlhdlr)->ncutoffs

Definition at line 118 of file nlhdlr.h.

Referenced by SCIPprocessRowprepNonlinear().

◆ SCIPnlhdlrIncrementNSeparated

#define SCIPnlhdlrIncrementNSeparated (   nlhdlr)    ++(nlhdlr)->nseparated

Definition at line 119 of file nlhdlr.h.

Referenced by SCIPprocessRowprepNonlinear().

Function Documentation

◆ SCIPnlhdlrCreate()

SCIP_RETCODE SCIPnlhdlrCreate ( SCIP *  scip,
SCIP_NLHDLR **  nlhdlr,
const char *  name,
const char *  desc,
int  detectpriority,
int  enfopriority,
SCIP_DECL_NLHDLRDETECT((*detect))  ,
SCIP_DECL_NLHDLREVALAUX((*evalaux))  ,
SCIP_NLHDLRDATA *  nlhdlrdata 
)

creates a nonlinear handler

Parameters
scipSCIP data structure
nlhdlrbuffer to store pointer to created nonlinear handler
namename of nonlinear handler (must not be NULL)
descdescription of nonlinear handler (can be NULL)
detectprioritydetection priority of nonlinear handler
enfopriorityenforcement priority of nonlinear handler
nlhdlrdatadata of nonlinear handler (can be NULL)

Definition at line 306 of file nlhdlr.c.

References FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocClearMemory, SCIPcreateClock(), SCIPduplicateMemoryArray, SCIPsnprintf(), and TRUE.

Referenced by SCIPincludeNlhdlrNonlinear().

◆ SCIPnlhdlrFree()

SCIP_RETCODE SCIPnlhdlrFree ( SCIP *  scip,
SCIP_NLHDLR **  nlhdlr 
)

frees a nonlinear handler

Parameters
scipSCIP data structure
nlhdlrpointer to nonlinear handler to be freed

Definition at line 353 of file nlhdlr.c.

References SCIP_Nlhdlr::data, NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeClock(), SCIPfreeMemory, and SCIPfreeMemoryNull.

Referenced by SCIP_DECL_CONSFREE().

◆ SCIP_DECL_NLHDLRCOPYHDLR()

SCIP_DECL_NLHDLRCOPYHDLR ( SCIPnlhdlrCopyhdlr  )

call the handler copy callback of a nonlinear handler

Definition at line 381 of file nlhdlr.c.

References NULL, SCIP_CALL, and SCIP_OKAY.

◆ SCIP_DECL_NLHDLRFREEEXPRDATA()

SCIP_DECL_NLHDLRFREEEXPRDATA ( SCIPnlhdlrFreeexprdata  )

call the free expression specific data callback of a nonlinear handler

Definition at line 393 of file nlhdlr.c.

References NULL, SCIP_CALL, and SCIP_OKAY.

◆ SCIP_DECL_NLHDLRINIT()

SCIP_DECL_NLHDLRINIT ( SCIPnlhdlrInit  )

call the initialization callback of a nonlinear handler

Definition at line 409 of file nlhdlr.c.

References SCIP_Nlhdlr::detecttime, SCIP_Nlhdlr::enfotime, SCIP_Nlhdlr::intevaltime, SCIP_Nlhdlr::nbranchscores, SCIP_Nlhdlr::ncutoffs, SCIP_Nlhdlr::ndetections, SCIP_Nlhdlr::ndetectionslast, SCIP_Nlhdlr::ndomreds, SCIP_Nlhdlr::nenfocalls, SCIP_Nlhdlr::nintevalcalls, SCIP_Nlhdlr::npropcalls, SCIP_Nlhdlr::nseparated, NULL, SCIP_Nlhdlr::proptime, SCIP_CALL, SCIP_OKAY, and SCIPresetClock().

◆ SCIP_DECL_NLHDLREXIT()

SCIP_DECL_NLHDLREXIT ( SCIPnlhdlrExit  )

call the deinitialization callback of a nonlinear handler

Definition at line 437 of file nlhdlr.c.

References NULL, SCIP_CALL, and SCIP_OKAY.

◆ SCIP_DECL_NLHDLRDETECT()

SCIP_DECL_NLHDLRDETECT ( SCIPnlhdlrDetect  )

call the detect callback of a nonlinear handler

Definition at line 450 of file nlhdlr.c.

References SCIP_Nlhdlr::detecttime, SCIP_Nlhdlr::ndetections, SCIP_Nlhdlr::ndetectionslast, NULL, SCIP_CALL, SCIP_NLHDLR_METHOD_NONE, SCIP_OKAY, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLREVALAUX()

SCIP_DECL_NLHDLREVALAUX ( SCIPnlhdlrEvalaux  )

call the auxiliary evaluation callback of a nonlinear handler

Definition at line 472 of file nlhdlr.c.

References NULL, SCIP_CALL, and SCIP_OKAY.

◆ SCIP_DECL_NLHDLRINTEVAL()

SCIP_DECL_NLHDLRINTEVAL ( SCIPnlhdlrInteval  )

call the interval evaluation callback of a nonlinear handler

Definition at line 483 of file nlhdlr.c.

References SCIP_Nlhdlr::intevaltime, SCIP_Nlhdlr::nintevalcalls, NULL, SCIP_CALL, SCIP_OKAY, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLRREVERSEPROP()

SCIP_DECL_NLHDLRREVERSEPROP ( SCIPnlhdlrReverseprop  )

call the reverse propagation callback of a nonlinear handler

Definition at line 502 of file nlhdlr.c.

References FALSE, SCIP_Nlhdlr::ncutoffs, SCIP_Nlhdlr::ndomreds, SCIP_Nlhdlr::npropcalls, NULL, SCIP_Nlhdlr::proptime, SCIP_CALL, SCIP_OKAY, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLRINITSEPA()

SCIP_DECL_NLHDLRINITSEPA ( SCIPnlhdlrInitsepa  )

call the separation initialization callback of a nonlinear handler

Definition at line 532 of file nlhdlr.c.

References SCIP_Nlhdlr::enfotime, FALSE, SCIP_Nlhdlr::ncutoffs, SCIP_Nlhdlr::nenfocalls, NULL, SCIP_CALL, SCIP_OKAY, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLREXITSEPA()

SCIP_DECL_NLHDLREXITSEPA ( SCIPnlhdlrExitsepa  )

call the separation deinitialization callback of a nonlinear handler

Definition at line 557 of file nlhdlr.c.

References SCIP_Nlhdlr::enfotime, NULL, SCIP_CALL, SCIP_OKAY, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLRENFO()

SCIP_DECL_NLHDLRENFO ( SCIPnlhdlrEnfo  )

call the enforcement callback of a nonlinear handler

Definition at line 574 of file nlhdlr.c.

References SCIP_Nlhdlr::enfotime, SCIP_Nlhdlr::nbranchscores, SCIP_Nlhdlr::ncutoffs, SCIP_Nlhdlr::ndomreds, SCIP_Nlhdlr::nenfocalls, SCIP_Nlhdlr::nseparated, NULL, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPstartClock(), and SCIPstopClock().

◆ SCIP_DECL_NLHDLRESTIMATE()

SCIP_DECL_NLHDLRESTIMATE ( SCIPnlhdlrEstimate  )

call the estimator callback of a nonlinear handler

Definition at line 625 of file nlhdlr.c.

References SCIP_Nlhdlr::enfotime, FALSE, SCIP_Nlhdlr::nenfocalls, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPstartClock(), and SCIPstopClock().

◆ SCIPnlhdlrResetNDetectionslast()

void SCIPnlhdlrResetNDetectionslast ( SCIP_NLHDLR *  nlhdlr)

reset number of detections counter for last round

Parameters
nlhdlrnonlinear handler

Definition at line 661 of file nlhdlr.c.

References SCIP_Nlhdlr::ndetectionslast, and NULL.

◆ SCIPnlhdlrIncrementNCutoffs()

void SCIPnlhdlrIncrementNCutoffs ( SCIP_NLHDLR *  nlhdlr)

increments number of cutoffs in statistics

Parameters
nlhdlrnonlinear handler

Definition at line 670 of file nlhdlr.c.

References SCIP_Nlhdlr::ncutoffs, and NULL.

◆ SCIPnlhdlrIncrementNSeparated()

void SCIPnlhdlrIncrementNSeparated ( SCIP_NLHDLR *  nlhdlr)

increments number of separations in statistics

Parameters
nlhdlrnonlinear handler

Definition at line 679 of file nlhdlr.c.

References SCIP_Nlhdlr::nseparated, and NULL.

◆ SCIPnlhdlrPrintStatistics()

void SCIPnlhdlrPrintStatistics ( SCIP *  scip,
SCIP_NLHDLR **  nlhdlrs,
int  nnlhdlrs,
FILE *  file 
)

print statistics for nonlinear handlers

Parameters
scipSCIP data structure
nlhdlrsnonlinear handlers
nnlhdlrsnumber of nonlinear handlers
filefile handle, or NULL for standard out

Definition at line 688 of file nlhdlr.c.

References SCIPgetClockTime(), and SCIPinfoMessage().

Referenced by SCIP_DECL_TABLEOUTPUT().