internal methods for constraints and constraint handlers
Definition in file cons.h.
#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_retcode.h"
#include "scip/type_result.h"
#include "scip/type_set.h"
#include "scip/type_stat.h"
#include "scip/type_mem.h"
#include "scip/type_misc.h"
#include "scip/type_timing.h"
#include "scip/type_lp.h"
#include "scip/type_var.h"
#include "scip/type_prob.h"
#include "scip/type_sol.h"
#include "scip/type_tree.h"
#include "scip/type_sepastore.h"
#include "scip/type_cons.h"
#include "scip/type_branch.h"
#include "scip/type_reopt.h"
#include "scip/type_message.h"
#include "scip/pub_cons.h"
#include "scip/struct_cons.h"
Go to the source code of this file.
SCIP_RETCODE SCIPconshdlrCopyInclude | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_SET * | set, | ||
SCIP_Bool * | valid ) |
copies the given constraint handler to a new scip
conshdlr | constraint handler |
set | SCIP_SET of SCIP to copy to |
valid | was the copying process valid? |
Definition at line 1980 of file cons.c.
References assert(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPsetDebugMsg, and valid.
Referenced by SCIPsetCopyPlugins().
SCIP_RETCODE SCIPconshdlrCreate | ( | SCIP_CONSHDLR ** | conshdlr, |
SCIP_SET * | set, | ||
SCIP_MESSAGEHDLR * | messagehdlr, | ||
BMS_BLKMEM * | blkmem, | ||
const char * | name, | ||
const char * | desc, | ||
int | sepapriority, | ||
int | enfopriority, | ||
int | checkpriority, | ||
int | sepafreq, | ||
int | propfreq, | ||
int | eagerfreq, | ||
int | maxprerounds, | ||
SCIP_Bool | delaysepa, | ||
SCIP_Bool | delayprop, | ||
SCIP_Bool | needscons, | ||
SCIP_PROPTIMING | proptiming, | ||
SCIP_PRESOLTIMING | presoltiming, | ||
SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)) | , | ||
SCIP_DECL_CONSFREE((*consfree)) | , | ||
SCIP_DECL_CONSINIT((*consinit)) | , | ||
SCIP_DECL_CONSEXIT((*consexit)) | , | ||
SCIP_DECL_CONSINITPRE((*consinitpre)) | , | ||
SCIP_DECL_CONSEXITPRE((*consexitpre)) | , | ||
SCIP_DECL_CONSINITSOL((*consinitsol)) | , | ||
SCIP_DECL_CONSEXITSOL((*consexitsol)) | , | ||
SCIP_DECL_CONSDELETE((*consdelete)) | , | ||
SCIP_DECL_CONSTRANS((*constrans)) | , | ||
SCIP_DECL_CONSINITLP((*consinitlp)) | , | ||
SCIP_DECL_CONSSEPALP((*conssepalp)) | , | ||
SCIP_DECL_CONSSEPASOL((*conssepasol)) | , | ||
SCIP_DECL_CONSENFOLP((*consenfolp)) | , | ||
SCIP_DECL_CONSENFORELAX((*consenforelax)) | , | ||
SCIP_DECL_CONSENFOPS((*consenfops)) | , | ||
SCIP_DECL_CONSCHECK((*conscheck)) | , | ||
SCIP_DECL_CONSPROP((*consprop)) | , | ||
SCIP_DECL_CONSPRESOL((*conspresol)) | , | ||
SCIP_DECL_CONSRESPROP((*consresprop)) | , | ||
SCIP_DECL_CONSLOCK((*conslock)) | , | ||
SCIP_DECL_CONSACTIVE((*consactive)) | , | ||
SCIP_DECL_CONSDEACTIVE((*consdeactive)) | , | ||
SCIP_DECL_CONSENABLE((*consenable)) | , | ||
SCIP_DECL_CONSDISABLE((*consdisable)) | , | ||
SCIP_DECL_CONSDELVARS((*consdelvars)) | , | ||
SCIP_DECL_CONSPRINT((*consprint)) | , | ||
SCIP_DECL_CONSCOPY((*conscopy)) | , | ||
SCIP_DECL_CONSPARSE((*consparse)) | , | ||
SCIP_DECL_CONSGETVARS((*consgetvars)) | , | ||
SCIP_DECL_CONSGETNVARS((*consgetnvars)) | , | ||
SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)) | , | ||
SCIP_DECL_CONSGETPERMSYMGRAPH((*consgetpermsymgraph)) | , | ||
SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH((*consgetsignedpermsymgraph)) | , | ||
SCIP_CONSHDLRDATA * | conshdlrdata ) |
creates a constraint handler
conshdlr | pointer to constraint handler data structure |
set | global SCIP settings |
messagehdlr | message handler |
blkmem | block memory for parameter settings |
name | name of constraint handler |
desc | description of constraint handler |
sepapriority | priority of the constraint handler for separation |
enfopriority | priority of the constraint handler for constraint enforcing |
checkpriority | priority of the constraint handler for checking feasibility (and propagation) |
sepafreq | frequency for separating cuts; zero means to separate only in the root node |
propfreq | frequency for propagating domains; zero means only preprocessing propagation |
eagerfreq | frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only |
maxprerounds | maximal number of presolving rounds the constraint handler participates in (-1: no limit) |
delaysepa | should separation method be delayed, if other separators found cuts? |
delayprop | should propagation method be delayed, if other propagators found reductions? |
needscons | should the constraint handler be skipped, if no constraints are available? |
proptiming | positions in the node solving loop where propagation method of constraint handlers should be executed |
presoltiming | timing mask of the constraint handler's presolving method |
conshdlrdata | constraint handler data |
Definition at line 2286 of file cons.c.
References assert(), doConshdlrCreate(), NULL, SCIP_Bool, SCIP_CALL_FINALLY, SCIP_DECL_CONSACTIVE, SCIP_DECL_CONSCHECK, SCIP_DECL_CONSCOPY, SCIP_DECL_CONSDELETE, SCIP_DECL_CONSDELVARS, SCIP_DECL_CONSDISABLE, SCIP_DECL_CONSENABLE, SCIP_DECL_CONSENFOLP, SCIP_DECL_CONSENFOPS, SCIP_DECL_CONSENFORELAX, SCIP_DECL_CONSEXIT, SCIP_DECL_CONSEXITPRE, SCIP_DECL_CONSEXITSOL, SCIP_DECL_CONSFREE, SCIP_DECL_CONSGETVARS, SCIP_DECL_CONSINIT, SCIP_DECL_CONSINITLP, SCIP_DECL_CONSINITPRE, SCIP_DECL_CONSINITSOL, SCIP_DECL_CONSLOCK, SCIP_DECL_CONSPARSE, SCIP_DECL_CONSPRESOL, SCIP_DECL_CONSPRINT, SCIP_DECL_CONSPROP, SCIP_DECL_CONSRESPROP, SCIP_DECL_CONSSEPALP, SCIP_DECL_CONSSEPASOL, SCIP_DECL_CONSTRANS, SCIP_OKAY, and SCIPconshdlrFree().
Referenced by SCIPincludeConshdlr(), and SCIPincludeConshdlrBasic().
SCIP_RETCODE SCIPconshdlrFree | ( | SCIP_CONSHDLR ** | conshdlr, |
SCIP_SET * | set ) |
calls destructor and frees memory of constraint handler
conshdlr | pointer to constraint handler data structure |
set | global SCIP settings |
Definition at line 2366 of file cons.c.
References assert(), BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().
Referenced by SCIPconshdlrCreate().
SCIP_RETCODE SCIPconshdlrInit | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
calls init method of constraint handler
calls initialization method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 2411 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_INIT, assert(), SCIP_Conshdlr::checktime, conshdlrAreUpdatesDelayed(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::lastsepalpcount, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::naddconss, SCIP_Conshdlr::naddholes, SCIP_Conshdlr::naggrvars, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckcalls, SCIP_Conshdlr::nchgbds, SCIP_Conshdlr::nchgcoefs, SCIP_Conshdlr::nchgsides, SCIP_Conshdlr::nchgvartypes, SCIP_Conshdlr::nchildren, SCIP_Conshdlr::nconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsapplied, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndelconss, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::nenfolpcalls, SCIP_Conshdlr::nenfopscalls, SCIP_Conshdlr::nenforelaxcalls, SCIP_Conshdlr::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::nrespropcalls, SCIP_Conshdlr::nsepacalls, NULL, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::propwasdelayed, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, SCIP_Conshdlr::setuptime, SCIP_Conshdlr::startnactiveconss, and TRUE.
SCIP_RETCODE SCIPconshdlrExit | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
calls exit method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 2524 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIP_Conshdlr::setuptime.
SCIP_RETCODE SCIPconshdlrInitpre | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
informs constraint handler that the presolving process is being started
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 2567 of file cons.c.
References SCIP_Cons::addarraypos, assert(), c, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::deleted, FALSE, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastenforelaxresult, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::lastsepalpcount, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, SCIP_Stat::nruns, NULL, SCIP_Conshdlr::propwasdelayed, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
SCIP_RETCODE SCIPconshdlrExitpre | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
informs constraint handler that the presolving is finished
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 2653 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
SCIP_RETCODE SCIPconshdlrInitsol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
informs constraint handler that the branch and bound process is being started
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 2693 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, and SCIP_Conshdlr::setuptime.
SCIP_RETCODE SCIPconshdlrExitsol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_Bool | restart ) |
informs constraint handler that the branch and bound process data is being freed
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
restart | was this exit solve call triggered by a restart? |
Definition at line 2733 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::nconss, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Conshdlr::setuptime.
SCIP_RETCODE SCIPconshdlrInitLP | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_TREE * | tree, | ||
SCIP_Bool | initkeptconss, | ||
SCIP_Bool * | cutoff ) |
calls LP initialization method of constraint handler to separate all initial active constraints
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
tree | branch and bound tree |
initkeptconss | Also initialize constraints which are valid at a more global node, but were not activated there? Should be FALSE for repeated calls at one node or if the current focusnode is a child of the former one |
cutoff | pointer to store whether infeasibility was detected while building the LP |
Definition at line 2770 of file cons.c.
References assert(), BMSfreeMemoryArrayNull, c, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), cutoff, FALSE, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::initconsssize, SCIP_Conshdlr::name, SCIP_Conshdlr::needscons, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, SCIP_Stat::nnodes, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.
Referenced by SCIPinitConssLP().
SCIP_RETCODE SCIPconshdlrSeparateLP | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_SEPASTORE * | sepastore, | ||
int | depth, | ||
SCIP_Bool | execdelayed, | ||
SCIP_RESULT * | result ) |
calls separator method of constraint handler to separate LP solution
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
sepastore | separation storage |
depth | depth of current node |
execdelayed | execute separation method even if it is marked to be delayed |
result | pointer to store the result of the callback method |
Definition at line 2877 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delaysepa, depth, SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::eagerfreq, FALSE, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastsepalpcount, SCIP_Stat::lpcount, MAX, MIN, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepacalls, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, result, SCIP_Bool, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by separationRoundLP().
SCIP_RETCODE SCIPconshdlrSeparateSol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_SEPASTORE * | sepastore, | ||
SCIP_SOL * | sol, | ||
int | depth, | ||
SCIP_Bool | execdelayed, | ||
SCIP_RESULT * | result ) |
calls separator method of constraint handler to separate given primal solution
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
sepastore | separation storage |
sol | primal solution that should be separated |
depth | depth of current node |
execdelayed | execute separation method even if it is marked to be delayed |
result | pointer to store the result of the callback method |
Definition at line 3034 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delaysepa, depth, SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::eagerfreq, FALSE, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepacalls, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, result, SCIP_Bool, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, sol, and TRUE.
Referenced by separationRoundSol().
SCIP_RETCODE SCIPconshdlrEnforceRelaxSol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_TREE * | tree, | ||
SCIP_SEPASTORE * | sepastore, | ||
SCIP_SOL * | relaxsol, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_RESULT * | result ) |
calls enforcing method of constraint handler for a relaxation solution for all constraints added after last conshdlrResetEnfo() call
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
tree | branch and bound tree |
sepastore | separation storage |
relaxsol | solution to be enforced |
solinfeasible | was the solution already found out to be infeasible? |
result | pointer to store the result of the callback method |
Definition at line 3163 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enforelaxtime, FALSE, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxnode, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastenforelaxresult, SCIP_Conshdlr::lastnusefulenfoconss, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenforelaxcalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Stat::relaxcount, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.
Referenced by enforceConstraints().
SCIP_RETCODE SCIPconshdlrEnforceLPSol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_TREE * | tree, | ||
SCIP_SEPASTORE * | sepastore, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_RESULT * | result ) |
calls enforcing method of constraint handler for LP solution for all constraints added after last conshdlrReset() call
calls enforcing method of constraint handler for LP solution for all constraints added after last conshdlrResetEnfo() call
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
tree | branch and bound tree |
sepastore | separation storage |
solinfeasible | was the solution already found out to be infeasible? |
result | pointer to store the result of the callback method |
Definition at line 3351 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfolptime, FALSE, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Stat::lpcount, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenfolpcalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints().
SCIP_RETCODE SCIPconshdlrGetDiveBoundChanges | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_SET * | set, | ||
SCIP_DIVESET * | diveset, | ||
SCIP_SOL * | sol, | ||
SCIP_Bool * | success, | ||
SCIP_Bool * | infeasible ) |
calls diving solution enforcement callback of constraint handler, if it exists
conshdlr | constraint handler |
set | global SCIP settings |
diveset | diving settings to control scoring |
sol | current solution of diving mode |
success | pointer to store whether constraint handler successfully found a variable |
infeasible | pointer to store whether the current node was detected to be infeasible |
Definition at line 3529 of file cons.c.
References assert(), diveset, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and sol.
Referenced by SCIPgetDiveBoundChanges().
SCIP_RETCODE SCIPconshdlrEnforcePseudoSol | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_TREE * | tree, | ||
SCIP_BRANCHCAND * | branchcand, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_Bool | objinfeasible, | ||
SCIP_Bool | forced, | ||
SCIP_RESULT * | result ) |
calls enforcing method of constraint handler for pseudo solution for all constraints added after last conshdlrReset() call
calls enforcing method of constraint handler for pseudo solution for all constraints added after last conshdlrResetEnfo() call
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
tree | branch and bound tree |
branchcand | branching candidate storage |
solinfeasible | was the solution already found out to be infeasible? |
objinfeasible | is the solution infeasible anyway due to violating lower objective bound? |
forced | should enforcement of pseudo solution be forced? |
result | pointer to store the result of the callback method |
Definition at line 3556 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfopstime, FALSE, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenfopscalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPbranchcandGetNPseudoCands(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints().
SCIP_RETCODE SCIPconshdlrCheck | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_SOL * | sol, | ||
SCIP_Bool | checkintegrality, | ||
SCIP_Bool | checklprows, | ||
SCIP_Bool | printreason, | ||
SCIP_Bool | completely, | ||
SCIP_RESULT * | result ) |
calls feasibility check method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
sol | primal CIP solution |
checkintegrality | Has integrality to be checked? |
checklprows | Do constraints represented by rows in the current LP have to be checked? |
printreason | Should the reason for the violation be printed? |
completely | Should all violations be checked? |
result | pointer to store the result of the callback method |
Definition at line 3760 of file cons.c.
References assert(), SCIP_Conshdlr::checkconss, SCIP_Conshdlr::checktime, conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckcalls, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsetDebugMsg, and sol.
Referenced by SCIPsolCheck(), and SCIPsolCheckOrig().
SCIP_RETCODE SCIPconshdlrPropagate | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
int | depth, | ||
SCIP_Bool | fullpropagation, | ||
SCIP_Bool | execdelayed, | ||
SCIP_Bool | instrongbranching, | ||
SCIP_PROPTIMING | proptiming, | ||
SCIP_RESULT * | result ) |
calls propagation method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
depth | depth of current node |
fullpropagation | should all constraints be propagated (or only new ones)? |
execdelayed | execute propagation method even if it is marked to be delayed |
instrongbranching | are we currently doing strong branching? |
proptiming | current point in the node solving process |
result | pointer to store the result of the callback method |
Definition at line 3822 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delayprop, depth, SCIP_Stat::domchgcount, SCIP_Conshdlr::duringprop, SCIP_Conshdlr::eagerfreq, FALSE, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastpropdomchgcount, MIN, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Conshdlr::nmarkedpropconss, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::propconss, SCIP_Conshdlr::propfreq, SCIP_Conshdlr::proptime, SCIP_Conshdlr::propwasdelayed, result, SCIP_Conshdlr::sbproptime, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DELAYNODE, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by propagationRound().
SCIP_RETCODE SCIPconshdlrPresolve | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PRESOLTIMING | timing, | ||
int | nrounds, | ||
int * | nfixedvars, | ||
int * | naggrvars, | ||
int * | nchgvartypes, | ||
int * | nchgbds, | ||
int * | naddholes, | ||
int * | ndelconss, | ||
int * | naddconss, | ||
int * | nupgdconss, | ||
int * | nchgcoefs, | ||
int * | nchgsides, | ||
SCIP_RESULT * | result ) |
calls presolving method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
timing | current presolving timing |
nrounds | number of presolving rounds already done |
nfixedvars | pointer to total number of variables fixed of all presolvers |
naggrvars | pointer to total number of variables aggregated of all presolvers |
nchgvartypes | pointer to total number of variable type changes of all presolvers |
nchgbds | pointer to total number of variable bounds tightened of all presolvers |
naddholes | pointer to total number of domain holes added of all presolvers |
ndelconss | pointer to total number of deleted constraints of all presolvers |
naddconss | pointer to total number of added constraints of all presolvers |
nupgdconss | pointer to total number of upgraded constraints of all presolvers |
nchgcoefs | pointer to total number of changed coefficients of all presolvers |
nchgsides | pointer to total number of changed left/right hand sides of all presolvers |
result | pointer to store the result of the callback method |
Definition at line 3993 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::naddconss, SCIP_Conshdlr::naddholes, SCIP_Conshdlr::naggrvars, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchgbds, SCIP_Conshdlr::nchgcoefs, SCIP_Conshdlr::nchgsides, SCIP_Conshdlr::nchgvartypes, SCIP_Conshdlr::ndelconss, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::presoltiming, result, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by presolveRound().
void SCIPconshdlrEnableOrDisableClocks | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_Bool | enable ) |
enables or disables all clocks of conshdlr
, depending on the value of the flag
conshdlr | the constraint handler for which all clocks should be enabled or disabled |
enable | should the clocks of the constraint handler be enabled? |
Definition at line 4700 of file cons.c.
References assert(), SCIP_Conshdlr::checktime, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, NULL, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_Bool, SCIPclockEnableOrDisable(), SCIP_Conshdlr::sepatime, and SCIP_Conshdlr::setuptime.
SCIP_RETCODE SCIPconshdlrDelVars | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
calls variable deletion method of constraint handler
conshdlr | constraint handler |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 4136 of file cons.c.
References assert(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by SCIPprobPerformVarDeletions().
SCIP_RETCODE SCIPconshdlrLockVars | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_SET * | set ) |
locks rounding of variables involved in the given constraint constraint handler that doesn't need constraints
conshdlr | constraint handler |
set | global SCIP settings |
Definition at line 4167 of file cons.c.
References assert(), SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, and SCIP_OKAY.
Referenced by SCIPprobTransform().
SCIP_RETCODE SCIPconshdlrUnlockVars | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_SET * | set ) |
unlocks rounding of variables involved in the given constraint constraint handler that doesn't need constraints
conshdlr | constraint handler |
set | global SCIP settings |
Definition at line 4182 of file cons.c.
References assert(), SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, and SCIP_OKAY.
Referenced by SCIPprobFree().
void SCIPconshdlrSetCopy | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)) | ) |
callback setter methods of constraint handlers sets copy method of both the constraint handler and each associated constraint
sets copy method of both the constraint handler and each associated constraint
conshdlr | constraint handler |
Definition at line 4289 of file cons.c.
References assert(), SCIP_Conshdlr::needscons, NULL, and SCIP_DECL_CONSCOPY.
Referenced by SCIPsetConshdlrCopy().
void SCIPconshdlrSetFree | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets destructor method of constraint handler
conshdlr | constraint handler destructor of constraint handler |
Definition at line 4304 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSFREE.
Referenced by SCIPsetConshdlrFree().
void SCIPconshdlrSetInit | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets initialization method of constraint handler
conshdlr | constraint handler initialize constraint handler |
Definition at line 4315 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSINIT.
Referenced by SCIPsetConshdlrInit().
void SCIPconshdlrSetExit | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets deinitialization method of constraint handler
conshdlr | constraint handler deinitialize constraint handler |
Definition at line 4326 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSEXIT.
Referenced by SCIPsetConshdlrExit().
void SCIPconshdlrSetInitsol | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets solving process initialization method of constraint handler
conshdlr | constraint handler solving process initialization method of constraint handler |
Definition at line 4337 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrInitsol().
void SCIPconshdlrSetExitsol | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets solving process deinitialization method of constraint handler
conshdlr | constraint handler solving process deinitialization method of constraint handler |
Definition at line 4348 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSEXITSOL.
Referenced by SCIPsetConshdlrExitsol().
void SCIPconshdlrSetInitpre | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets preprocessing initialization method of constraint handler
conshdlr | constraint handler preprocessing initialization method of constraint handler |
Definition at line 4359 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrInitpre().
void SCIPconshdlrSetExitpre | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets preprocessing deinitialization method of constraint handler
conshdlr | constraint handler preprocessing deinitialization method of constraint handler |
Definition at line 4370 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrExitpre().
SCIP_RETCODE SCIPconshdlrSetPresol | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSPRESOL((*conspresol)) | , | ||
int | maxprerounds, | ||
SCIP_PRESOLTIMING | presoltiming ) |
sets presolving method of constraint handler
conshdlr | constraint handler |
maxprerounds | maximal number of presolving rounds the constraint handler participates in (-1: no limit) |
presoltiming | timing mask of the constraint handler's presolving method |
Definition at line 4381 of file cons.c.
References assert(), SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::presoltiming, SCIP_DECL_CONSPRESOL, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_MAX, and SCIPmessagePrintError().
Referenced by SCIPsetConshdlrPresol().
void SCIPconshdlrSetDelete | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets method of constraint handler to free specific constraint data
conshdlr | constraint handler free specific constraint data |
Definition at line 4410 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSDELETE.
Referenced by SCIPsetConshdlrDelete().
void SCIPconshdlrSetTrans | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets method of constraint handler to transform constraint data into data belonging to the transformed problem
conshdlr | constraint handler transform constraint data into data belonging to the transformed problem |
Definition at line 4421 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSTRANS.
Referenced by SCIPsetConshdlrTrans().
void SCIPconshdlrSetInitlp | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets method of constraint handler to initialize LP with relaxations of "initial" constraints
conshdlr | constraint handler initialize LP with relaxations of "initial" constraints |
Definition at line 4432 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSINITLP.
Referenced by SCIPsetConshdlrInitlp().
void SCIPconshdlrSetResprop | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets propagation conflict resolving method of constraint handler
conshdlr | constraint handler propagation conflict resolving method |
Definition at line 4443 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSRESPROP.
Referenced by SCIPsetConshdlrResprop().
void SCIPconshdlrSetActive | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets activation notification method of constraint handler
conshdlr | constraint handler activation notification method |
Definition at line 4454 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSACTIVE.
Referenced by SCIPsetConshdlrActive().
void SCIPconshdlrSetDeactive | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets deactivation notification method of constraint handler
conshdlr | constraint handler deactivation notification method |
Definition at line 4465 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrDeactive().
void SCIPconshdlrSetEnable | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets enabling notification method of constraint handler
conshdlr | constraint handler enabling notification method |
Definition at line 4476 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSENABLE.
Referenced by SCIPsetConshdlrEnable().
void SCIPconshdlrSetDisable | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets disabling notification method of constraint handler
conshdlr | constraint handler disabling notification method |
Definition at line 4487 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSDISABLE.
Referenced by SCIPsetConshdlrDisable().
void SCIPconshdlrSetDelvars | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets variable deletion method of constraint handler
conshdlr | constraint handler variable deletion method |
Definition at line 4498 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSDELVARS.
Referenced by SCIPsetConshdlrDelvars().
void SCIPconshdlrSetPrint | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets constraint display method of constraint handler
conshdlr | constraint handler constraint display method |
Definition at line 4509 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSPRINT.
Referenced by SCIPsetConshdlrPrint().
void SCIPconshdlrSetParse | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets constraint parsing method of constraint handler
conshdlr | constraint handler constraint parsing method |
Definition at line 4520 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSPARSE.
Referenced by SCIPsetConshdlrParse().
void SCIPconshdlrSetGetVars | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets constraint variable getter method of constraint handler
conshdlr | constraint handler constraint variable getter method |
Definition at line 4531 of file cons.c.
References assert(), NULL, and SCIP_DECL_CONSGETVARS.
Referenced by SCIPsetConshdlrGetVars().
void SCIPconshdlrSetGetNVars | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets constraint variable number getter method of constraint handler
conshdlr | constraint handler constraint variable number getter method |
Definition at line 4542 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrGetNVars().
void SCIPconshdlrSetGetDiveBdChgs | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets diving enforcement method of constraint handler
conshdlr | constraint handler constraint handler diving solution enforcement method |
Definition at line 4553 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrGetDiveBdChgs().
void SCIPconshdlrSetGetPermsymGraph | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets permutation symmetry detection graph getter method of constraint handler
conshdlr | constraint handler constraint permutation symmetry detection graph getter method |
Definition at line 4564 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrGetPermsymGraph().
void SCIPconshdlrSetGetSignedPermsymGraph | ( | SCIP_CONSHDLR * | conshdlr | ) |
sets signed permutation symmetry detection graph getter method of constraint handler
conshdlr | constraint handler constraint permutation symmetry detection graph getter method |
Definition at line 4576 of file cons.c.
References assert(), and NULL.
Referenced by SCIPsetConshdlrGetSignedPermsymGraph().
SCIP_RETCODE SCIPconssetchgFree | ( | SCIP_CONSSETCHG ** | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set ) |
frees constraint set change data and releases all included constraints
conssetchg | pointer to constraint set change |
blkmem | block memory |
set | global SCIP settings |
Definition at line 5369 of file cons.c.
References assert(), BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, conssetchgRelease(), NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPconssetchgMakeGlobal(), and SCIPnodeFree().
SCIP_RETCODE SCIPconssetchgAddAddedCons | ( | SCIP_CONSSETCHG ** | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_CONS * | cons, | ||
int | depth, | ||
SCIP_Bool | focusnode, | ||
SCIP_Bool | active ) |
adds constraint addition to constraint set changes, and captures constraint; activates constraint if the constraint set change data is currently active
conssetchg | pointer to constraint set change data structure |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
cons | added constraint |
depth | depth of constraint set change's node |
focusnode | does the constraint set change belong to the focus node? |
active | is the constraint set change currently active? |
Definition at line 5443 of file cons.c.
References active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, assert(), conssetchgCreate(), conssetchgEnsureAddedconssSize(), SCIP_Cons::deleted, depth, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsCapture(), and SCIPconsIsActive().
Referenced by SCIPnodeAddCons().
SCIP_RETCODE SCIPconssetchgAddDisabledCons | ( | SCIP_CONSSETCHG ** | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_CONS * | cons ) |
adds constraint disabling to constraint set changes, and captures constraint
conssetchg | pointer to constraint set change data structure |
blkmem | block memory |
set | global SCIP settings |
cons | disabled constraint |
Definition at line 5489 of file cons.c.
References assert(), conssetchgCreate(), conssetchgEnsureDisabledconssSize(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsCapture().
Referenced by SCIPnodeDelCons().
SCIP_RETCODE SCIPconssetchgApply | ( | SCIP_CONSSETCHG * | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
int | depth, | ||
SCIP_Bool | focusnode ) |
applies constraint set change
conssetchg | constraint set change to apply |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
depth | depth of constraint set change's node |
focusnode | does the constraint set change belong to the focus node? |
Definition at line 5607 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, assert(), SCIP_Cons::conshdlr, conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, depth, SCIP_ConsSetChg::disabledconss, SCIP_Cons::enabled, i, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsDisable(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeActivate().
SCIP_RETCODE SCIPconssetchgUndo | ( | SCIP_CONSSETCHG * | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
undoes constraint set change
conssetchg | constraint set change to undo |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 5694 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, assert(), SCIP_Cons::conshdlr, conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::disabledconss, SCIP_Cons::enabled, i, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPconsEnable(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeDeactivate().
SCIP_RETCODE SCIPconssetchgMakeGlobal | ( | SCIP_CONSSETCHG ** | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | prob, | ||
SCIP_REOPT * | reopt ) |
applies constraint set change to the global problem and deletes the constraint set change data
conssetchg | pointer to constraint set change data |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
prob | problem data |
reopt | reoptimization data |
Definition at line 5780 of file cons.c.
References assert(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, i, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPprobAddCons(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by treeSwitchPath().
void SCIPconshdlrIncNAppliedCuts | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of applied cuts
conshdlr | constraint handler |
Definition at line 4920 of file cons.c.
References assert(), SCIP_Conshdlr::ncutsapplied, and NULL.
Referenced by sepastoreApplyCut().
void SCIPconshdlrIncNCutsFound | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of found cuts
conshdlr | constraint handler |
Definition at line 4930 of file cons.c.
References assert(), SCIP_Conshdlr::ncutsfound, and NULL.
Referenced by SCIPcutpoolSeparate().
SCIP_RETCODE SCIPconsCreate | ( | SCIP_CONS ** | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
const char * | name, | ||
SCIP_CONSHDLR * | conshdlr, | ||
SCIP_CONSDATA * | consdata, | ||
SCIP_Bool | initial, | ||
SCIP_Bool | separate, | ||
SCIP_Bool | enforce, | ||
SCIP_Bool | check, | ||
SCIP_Bool | propagate, | ||
SCIP_Bool | local, | ||
SCIP_Bool | modifiable, | ||
SCIP_Bool | dynamic, | ||
SCIP_Bool | removable, | ||
SCIP_Bool | stickingatnode, | ||
SCIP_Bool | original, | ||
SCIP_Bool | deleteconsdata ) |
creates and captures a constraint, and inserts it into the conss array of its constraint handler
cons | pointer to constraint |
blkmem | block memory |
set | global SCIP settings |
name | name of constraint |
conshdlr | constraint handler for this constraint |
consdata | data for this specific constraint |
initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
separate | should the constraint be separated during LP processing? Usually set to TRUE. |
enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
original | is constraint belonging to the original problem? |
deleteconsdata | has the constraint data to be deleted if constraint is freed? |
Definition at line 5876 of file cons.c.
References assert(), BMSallocBlockMemory, BMSduplicateBlockMemoryArray, checkConssArrays, conshdlrAddCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), FALSE, i, NLOCKTYPES, NULL, propagate, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPsetDebugMsg, and TRUE.
Referenced by SCIPconsTransform(), and SCIPcreateCons().
SCIP_RETCODE SCIPconsCopy | ( | SCIP_CONS ** | cons, |
SCIP_SET * | set, | ||
const char * | name, | ||
SCIP * | sourcescip, | ||
SCIP_CONSHDLR * | sourceconshdlr, | ||
SCIP_CONS * | sourcecons, | ||
SCIP_HASHMAP * | varmap, | ||
SCIP_HASHMAP * | consmap, | ||
SCIP_Bool | initial, | ||
SCIP_Bool | separate, | ||
SCIP_Bool | enforce, | ||
SCIP_Bool | check, | ||
SCIP_Bool | propagate, | ||
SCIP_Bool | local, | ||
SCIP_Bool | modifiable, | ||
SCIP_Bool | dynamic, | ||
SCIP_Bool | removable, | ||
SCIP_Bool | stickingatnode, | ||
SCIP_Bool | global, | ||
SCIP_Bool * | valid ) |
copies source constraint of source SCIP into the target constraint for the target SCIP, using the variable map for mapping the variables of the source SCIP to the variables of the target SCIP; if the copying process was successful a constraint is created and captured;
cons | pointer to store the created target constraint |
set | global SCIP settings of the target SCIP |
name | name of constraint, or NULL if the name of the source constraint should be used |
sourcescip | source SCIP data structure |
sourceconshdlr | source constraint handler for this constraint |
sourcecons | source constraint of the source SCIP |
varmap | a SCIP_HASHMAP mapping variables of the source SCIP to corresponding variables of the target SCIP |
consmap | a hashmap to store the mapping of source constraints to the corresponding target constraints, must not be NULL! |
initial | should the LP relaxation of constraint be in the initial LP? |
separate | should the constraint be separated during LP processing? |
enforce | should the constraint be enforced during node processing? |
check | should the constraint be checked for feasibility? |
propagate | should the constraint be propagated during node processing? |
local | is constraint only valid locally? |
modifiable | is constraint modifiable (subject to column generation)? |
dynamic | is constraint subject to aging? |
removable | should the relaxation be removed from the LP due to aging or cleanup? |
stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? |
global | create a global or a local copy? |
valid | pointer to store whether the copying was valid or not |
Definition at line 6018 of file cons.c.
References assert(), FALSE, NULL, propagate, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and valid.
Referenced by SCIPgetConsCopy().
SCIP_RETCODE SCIPconsParse | ( | SCIP_CONS ** | cons, |
SCIP_SET * | set, | ||
SCIP_MESSAGEHDLR * | messagehdlr, | ||
const char * | str, | ||
SCIP_Bool | initial, | ||
SCIP_Bool | separate, | ||
SCIP_Bool | enforce, | ||
SCIP_Bool | check, | ||
SCIP_Bool | propagate, | ||
SCIP_Bool | local, | ||
SCIP_Bool | modifiable, | ||
SCIP_Bool | dynamic, | ||
SCIP_Bool | removable, | ||
SCIP_Bool | stickingatnode, | ||
SCIP_Bool * | success ) |
parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is created, captured, and inserted into the conss array of its constraint handler.
cons | pointer to constraint |
set | global SCIP settings |
messagehdlr | message handler of target SCIP |
str | string to parse for constraint |
initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
separate | should the constraint be separated during LP processing? Usually set to TRUE. |
enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
success | pointer store if the paring process was successful |
Definition at line 6074 of file cons.c.
References assert(), FALSE, NULL, propagate, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPmessagePrintWarning(), SCIPsetDebugMsg, SCIPsetFindConshdlr(), SCIPskipSpace(), and SCIPstrCopySection().
Referenced by SCIPparseCons().
SCIP_RETCODE SCIPconsChgName | ( | SCIP_CONS * | cons, |
BMS_BLKMEM * | blkmem, | ||
const char * | name ) |
change name of given constraint
cons | problem constraint |
blkmem | block memory buffer |
name | new name of constraint |
Definition at line 6179 of file cons.c.
References assert(), BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Cons::name, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPchgConsName().
SCIP_RETCODE SCIPconsFree | ( | SCIP_CONS ** | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set ) |
frees a constraint and removes it from the conss array of its constraint handler
cons | constraint to free |
blkmem | block memory buffer |
set | global SCIP settings |
Definition at line 6199 of file cons.c.
References assert(), BMSfreeBlockMemory, BMSfreeBlockMemoryArray, checkConssArrays, SCIP_Cons::consdata, conshdlrDelCons(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by SCIPconsRelease().
void SCIPconsCapture | ( | SCIP_CONS * | cons | ) |
increases usage counter of constraint
cons | constraint |
Definition at line 6254 of file cons.c.
References assert(), SCIP_Cons::name, NULL, SCIP_Cons::nuses, and SCIPdebugMessage.
Referenced by boundchgCaptureData(), conflictstoreAddOrigConflict(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsCreate(), SCIPconshdlrsStorePropagationStatus(), SCIPconssetchgAddAddedCons(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgMakeGlobal(), SCIPconsTransform(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPreoptSaveActiveConss(), SCIProwCreate(), SCIPtransformCons(), and SCIPtransformConss().
SCIP_RETCODE SCIPconsRelease | ( | SCIP_CONS ** | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set ) |
decreases usage counter of constraint, and frees memory if necessary
cons | pointer to constraint |
blkmem | block memory |
set | global SCIP settings |
Definition at line 6266 of file cons.c.
References assert(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPsetDebugMsg, and TRUE.
Referenced by boundchgReleaseData(), cleanActiveConss(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreClear(), SCIPconflictstoreTransform(), SCIPconshdlrsResetPropagationStatus(), SCIPconssetchgMakeGlobal(), SCIPprobDelCons(), SCIPprobTransform(), SCIPreleaseCons(), SCIPreoptReleaseData(), SCIPreoptReset(), SCIProwFree(), and tightenSingleVar().
SCIP_RETCODE SCIPconsPrint | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_MESSAGEHDLR * | messagehdlr, | ||
FILE * | file ) |
outputs constraint information to file stream
cons | constraint to print |
set | global SCIP settings |
messagehdlr | message handler |
file | output file (or NULL for standard output) |
Definition at line 6306 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPmessageFPrintInfo().
Referenced by SCIPprintCons().
SCIP_RETCODE SCIPconsCheck | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_SOL * | sol, | ||
SCIP_Bool | checkintegrality, | ||
SCIP_Bool | checklprows, | ||
SCIP_Bool | printreason, | ||
SCIP_RESULT * | result ) |
checks single constraint for feasibility of the given solution
cons | constraint to check |
set | global SCIP settings |
sol | primal CIP solution |
checkintegrality | Has integrality to be checked? |
checklprows | Do constraints represented by rows in the current LP have to be checked? |
printreason | Should the reason for the violation be printed? |
result | pointer to store the result of the callback method |
Definition at line 7424 of file cons.c.
References assert(), SCIP_Cons::conshdlr, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPerrorMessage, SCIPsetDebugMsg, and sol.
Referenced by SCIPcheckCons(), and SCIPsolCheckOrig().
SCIP_RETCODE SCIPconsEnfops | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_Bool | objinfeasible, | ||
SCIP_RESULT * | result ) |
enforces single constraint for a given pseudo solution
cons | constraint to enforce |
set | global SCIP settings |
solinfeasible | was the solution already declared infeasible by a constraint handler? |
objinfeasible | is the solution infeasible anyway due to violating lower objective bound? |
result | pointer to store the result of the callback method |
Definition at line 7462 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPenfopsCons().
SCIP_RETCODE SCIPconsEnfolp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_RESULT * | result ) |
enforces single constraint for a given LP solution
cons | constraint to enforce |
set | global SCIP settings |
solinfeasible | was the solution already declared infeasible by a constraint handler? |
result | pointer to store the result of the callback method |
Definition at line 7506 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPenfolpCons().
SCIP_RETCODE SCIPconsEnforelax | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_SOL * | sol, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_RESULT * | result ) |
enforces single constraint for a given relaxation solution
cons | constraint to enforce |
set | global SCIP settings |
sol | solution to be enforced |
solinfeasible | was the solution already declared infeasible by a constraint handler? |
result | pointer to store the result of the callback method |
Definition at line 7548 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPdebugMessage, SCIPerrorMessage, and sol.
Referenced by SCIPenforelaxCons().
SCIP_RETCODE SCIPconsInitlp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool * | infeasible ) |
calls LP initialization method for single constraint
cons | constraint to initialize |
set | global SCIP settings |
infeasible | pointer to store whether infeasibility was detected while building the LP |
Definition at line 7592 of file cons.c.
References assert(), SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPinitlpCons().
SCIP_RETCODE SCIPconsSepalp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_RESULT * | result ) |
calls separation method of single constraint for LP solution
cons | constraint to separate |
set | global SCIP settings |
result | pointer to store the result of the separation call |
Definition at line 7618 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPsepalpCons().
SCIP_RETCODE SCIPconsSepasol | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_SOL * | sol, | ||
SCIP_RESULT * | result ) |
calls separation method of single constraint for given primal solution
cons | constraint to separate |
set | global SCIP settings |
sol | primal solution that should be separated |
result | pointer to store the result of the separation call |
Definition at line 7659 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPerrorMessage, SCIPsetDebugMsg, and sol.
Referenced by SCIPsepasolCons().
SCIP_RETCODE SCIPconsProp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_PROPTIMING | proptiming, | ||
SCIP_RESULT * | result ) |
calls domain propagation method of single constraint
cons | constraint to propagate |
set | global SCIP settings |
proptiming | current point in the node solving loop |
result | pointer to store the result of the callback method |
Definition at line 7702 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPpropCons().
SCIP_RETCODE SCIPconsResprop | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_VAR * | infervar, | ||
int | inferinfo, | ||
SCIP_BOUNDTYPE | boundtype, | ||
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Real | relaxedbd, | ||
SCIP_RESULT * | result ) |
resolves propagation conflict of single constraint
cons | constraint to resolve conflict for |
set | global SCIP settings |
infervar | the conflict variable whose bound change has to be resolved |
inferinfo | the user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call |
boundtype | the type of the changed bound (lower or upper bound) |
bdchgidx | the index of the bound change, representing the point of time where the change took place |
relaxedbd | the relaxed bound which is sufficient to be explained |
result | pointer to store the result of the callback method |
Definition at line 7742 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPrespropCons().
SCIP_RETCODE SCIPconsPresol | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
int | nrounds, | ||
SCIP_PRESOLTIMING | timing, | ||
int | nnewfixedvars, | ||
int | nnewaggrvars, | ||
int | nnewchgvartypes, | ||
int | nnewchgbds, | ||
int | nnewholes, | ||
int | nnewdelconss, | ||
int | nnewaddconss, | ||
int | nnewupgdconss, | ||
int | nnewchgcoefs, | ||
int | nnewchgsides, | ||
int * | nfixedvars, | ||
int * | naggrvars, | ||
int * | nchgvartypes, | ||
int * | nchgbds, | ||
int * | naddholes, | ||
int * | ndelconss, | ||
int * | naddconss, | ||
int * | nupgdconss, | ||
int * | nchgcoefs, | ||
int * | nchgsides, | ||
SCIP_RESULT * | result ) |
presolves single constraint
cons | constraint to presolve |
set | global SCIP settings |
nrounds | number of presolving rounds already done |
timing | current presolving timing |
nnewfixedvars | number of variables fixed since the last call to the presolving method |
nnewaggrvars | number of variables aggregated since the last call to the presolving method |
nnewchgvartypes | number of variable type changes since the last call to the presolving method |
nnewchgbds | number of variable bounds tightened since the last call to the presolving method |
nnewholes | number of domain holes added since the last call to the presolving method |
nnewdelconss | number of deleted constraints since the last call to the presolving method |
nnewaddconss | number of added constraints since the last call to the presolving method |
nnewupgdconss | number of upgraded constraints since the last call to the presolving method |
nnewchgcoefs | number of changed coefficients since the last call to the presolving method |
nnewchgsides | number of changed left or right hand sides since the last call to the presolving method |
nfixedvars | pointer to count total number of variables fixed of all presolvers |
naggrvars | pointer to count total number of variables aggregated of all presolvers |
nchgvartypes | pointer to count total number of variable type changes of all presolvers |
nchgbds | pointer to count total number of variable bounds tightened of all presolvers |
naddholes | pointer to count total number of domain holes added of all presolvers |
ndelconss | pointer to count total number of deleted constraints of all presolvers |
naddconss | pointer to count total number of added constraints of all presolvers |
nupgdconss | pointer to count total number of upgraded constraints of all presolvers |
nchgcoefs | pointer to count total number of changed coefficients of all presolvers |
nchgsides | pointer to count total number of changed left/right hand sides of all presolvers |
result | pointer to store the result of the callback method |
Definition at line 7784 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, result, SCIP_Cons::scip, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPpresolCons().
SCIP_RETCODE SCIPconsActive | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
calls constraint activation notification method of single constraint
cons | constraint to notify |
set | global SCIP settings |
Definition at line 7858 of file cons.c.
References assert(), SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPactiveCons().
SCIP_RETCODE SCIPconsDeactive | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
calls constraint deactivation notification method of single constraint
cons | constraint to notify |
set | global SCIP settings |
Definition at line 7882 of file cons.c.
References assert(), SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPdeactiveCons().
SCIP_RETCODE SCIPconsGetVars | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_VAR ** | vars, | ||
int | varssize, | ||
SCIP_Bool * | success ) |
method to collect the variables of a constraint
If the number of variables is greater than the available slots in the variable array, nothing happens except that the success point is set to FALSE. With the method SCIPgetConsNVars() it is possible to get the number of variables a constraint has in its scope.
method to collect the variables of a constraint
If the number of variables is greater than the available slots in the variable array, nothing happens except that the success point is set to FALSE. With the method SCIPconsGetNVars() it is possible to get the number of variables a constraint has in its scope.
cons | constraint to get variables for |
set | global SCIP settings |
vars | array to store the involved variable of the constraint |
varssize | available slots in vars array which is needed to check if the array is large enough |
success | pointer to store whether the variables are successfully copied |
Definition at line 6345 of file cons.c.
References assert(), SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and vars.
Referenced by SCIPgetConsVars().
SCIP_RETCODE SCIPconsGetNVars | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
int * | nvars, | ||
SCIP_Bool * | success ) |
method to collect the number of variables of a constraint
cons | constraint to get number of variables for |
set | global SCIP settings |
nvars | pointer to store the number of variables |
success | pointer to store whether the constraint successfully returned the number of variables |
Definition at line 6381 of file cons.c.
References assert(), SCIP_Cons::conshdlr, FALSE, NULL, nvars, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, and SCIP_OKAY.
Referenced by calcNonZeros(), delPosDualray(), delPosDualsol(), saveConsBounddisjuction(), saveConsLinear(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPgetConsNVars(), and SCIPgetDualSolVal().
SCIP_RETCODE SCIPconsGetPermsymGraph | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SYM_GRAPH * | graph, | ||
SCIP_Bool * | success ) |
method to collect the permutation symmetry detection graph of a constraint
method to collect the permutation symmetry detection graph of a constraint
cons | constraint to get graph for |
set | global SCIP settings |
graph | symmetry detection graph |
success | pointer to store whether the constraint successfully returned the graph |
Definition at line 6416 of file cons.c.
References assert(), SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsPermsymGraph().
SCIP_RETCODE SCIPconsGetSignedPermsymGraph | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SYM_GRAPH * | graph, | ||
SCIP_Bool * | success ) |
method to collect the signed permutation symmetry detection graph of a constraint
cons | constraint to get graph for |
set | global SCIP settings |
graph | symmetry detection graph |
success | pointer to store whether the constraint successfully returned the graph |
Definition at line 6449 of file cons.c.
References assert(), SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsSignedPermsymGraph().
SCIP_RETCODE SCIPconsDelete | ( | SCIP_CONS * | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | prob, | ||
SCIP_REOPT * | reopt ) |
globally removes constraint from all subproblems; removes constraint from the constraint set change data of the node, where it was created, or from the problem, if it was a problem constraint
cons | constraint to delete |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
prob | problem data |
reopt | reoptimization data |
Definition at line 6479 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, assert(), SCIP_Cons::conshdlr, conssetchgDelAddedCons(), SCIP_Conshdlr::delayupdatecount, SCIP_Cons::deleted, SCIP_Cons::enabled, FALSE, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPprobDelCons(), SCIPreoptConsCanBeDeleted(), SCIPsetDebugMsg, TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsAddAge(), SCIPconssetchgMakeGlobal(), SCIPdelCons(), SCIPdelConsLocal(), and SCIPdelConsNode().
SCIP_RETCODE SCIPconsTransform | ( | SCIP_CONS * | origcons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_CONS ** | transcons ) |
gets and captures transformed constraint of a given constraint; if the constraint is not yet transformed, a new transformed constraint for this constraint is created
gets and captures transformed constraint of a given original constraint; if the constraint is not yet transformed, a new transformed constraint for this constraint is created
origcons | original constraint |
blkmem | block memory buffer |
set | global SCIP settings |
transcons | pointer to store the transformed constraint |
Definition at line 6539 of file cons.c.
References assert(), SCIP_Cons::check, SCIP_Cons::consdata, SCIP_Cons::conshdlr, SCIP_Cons::dynamic, SCIP_Cons::enforce, FALSE, SCIP_Cons::initial, SCIP_Cons::local, SCIP_Cons::modifiable, SCIP_Cons::name, NULL, SCIP_Cons::nupgradelocks, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::removable, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIP_Cons::separate, SCIP_Cons::stickingatnode, and SCIP_Cons::transorigcons.
Referenced by SCIPprobTransform(), SCIPtransformCons(), and SCIPtransformConss().
SCIP_RETCODE SCIPconsSetInitial | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_Bool | initial ) |
sets the initial flag of the given constraint
cons | constraint |
set | global SCIP settings |
stat | dynamic problem statistics |
initial | new value |
Definition at line 6589 of file cons.c.
References assert(), conshdlrAddInitcons(), conshdlrDelInitcons(), SCIP_Cons::initconsspos, SCIP_Cons::initial, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and SCIPconsGetHdlr().
Referenced by SCIPsetConsInitial().
SCIP_RETCODE SCIPconsSetSeparated | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | separate ) |
sets the separate flag of the given constraint
cons | constraint |
set | global SCIP settings |
separate | new value |
Definition at line 6623 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDelSepacons(), SCIP_Cons::enabled, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPsetGetStage(), SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by SCIPsetConsSeparated().
SCIP_RETCODE SCIPconsSetEnforced | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | enforce ) |
sets the enforce flag of the given constraint
cons | constraint |
set | global SCIP settings |
enforce | new value |
Definition at line 6658 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrDelEnfocons(), SCIP_Cons::enabled, SCIP_Cons::enforce, NULL, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, and SCIPsetGetStage().
Referenced by SCIPsetConsEnforced().
SCIP_RETCODE SCIPconsSetChecked | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | check ) |
sets the check flag of the given constraint
cons | constraint |
set | global SCIP settings |
check | new value |
Definition at line 6693 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, assert(), SCIP_Cons::check, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrDelCheckcons(), NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, and SCIPconsAddLocks().
Referenced by SCIPsetConsChecked().
SCIP_RETCODE SCIPconsSetPropagated | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | propagate ) |
sets the propagate flag of the given constraint
cons | constraint |
set | global SCIP settings |
propagate | new value |
Definition at line 6741 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDelPropcons(), SCIP_Cons::enabled, NULL, propagate, SCIP_Cons::propagate, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, and SCIPsetGetStage().
Referenced by SCIPsetConsPropagated().
sets the local flag of the given constraint
cons | constraint |
local | new value |
Definition at line 6776 of file cons.c.
References assert(), SCIP_Cons::local, NULL, SCIP_Bool, and SCIP_Cons::validdepth.
Referenced by SCIPaddCons(), SCIPaddConsNode(), SCIPprobAddCons(), and SCIPsetConsLocal().
sets the modifiable flag of the given constraint
cons | constraint |
modifiable | new value |
Definition at line 6789 of file cons.c.
References assert(), SCIP_Cons::modifiable, NULL, and SCIP_Bool.
Referenced by SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), and SCIPsetConsModifiable().
sets the dynamic flag of the given constraint
cons | constraint |
dynamic | new value |
Definition at line 6800 of file cons.c.
References assert(), SCIP_Cons::dynamic, NULL, and SCIP_Bool.
Referenced by SCIPsetConsDynamic().
sets the removable flag of the given constraint
cons | constraint |
removable | new value |
Definition at line 6811 of file cons.c.
References assert(), NULL, SCIP_Cons::removable, and SCIP_Bool.
Referenced by SCIPsetConsRemovable().
sets the stickingatnode flag of the given constraint
cons | constraint |
stickingatnode | new value |
Definition at line 6822 of file cons.c.
References assert(), NULL, SCIP_Bool, and SCIP_Cons::stickingatnode.
Referenced by SCIPsetConsStickingAtNode().
void SCIPconsSetNamePointer | ( | SCIP_CONS * | cons, |
const char * | name ) |
gives the constraint a new name; ATTENTION: to old pointer is over written that might result in a memory leakage
cons | constraint |
name | new name of constraint |
Definition at line 6834 of file cons.c.
References assert(), SCIP_Cons::name, and NULL.
Referenced by SCIPreaderWrite().
gets associated transformed constraint of an original constraint, or NULL if no associated transformed constraint exists
cons | constraint |
Definition at line 6848 of file cons.c.
References assert(), SCIP_Cons::original, and SCIP_Cons::transorigcons.
Referenced by SCIPconflictstoreTransform(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), and SCIPgetTransformedConss().
SCIP_RETCODE SCIPconsActivate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
int | depth, | ||
SCIP_Bool | focusnode ) |
activates constraint or marks constraint to be activated in next update
cons | constraint |
set | global SCIP settings |
stat | dynamic problem statistics |
depth | depth in the tree where the constraint activation takes place, or -1 for global problem |
focusnode | does the constraint activation take place at the focus node? |
Definition at line 6858 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, assert(), SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), depth, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactfocus, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, SCIP_Cons::updateenable, SCIP_Cons::updatefree, and SCIP_Cons::updateobsolete.
Referenced by SCIPconssetchgAddAddedCons(), SCIPconssetchgApply(), SCIPprobAddCons(), and SCIPreoptResetActiveConss().
SCIP_RETCODE SCIPconsDeactivate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
deactivates constraint or marks constraint to be deactivated in next update
cons | constraint |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 6900 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsDelete(), SCIPconssetchgUndo(), SCIPprobDelCons(), and SCIPreoptResetActiveConss().
SCIP_RETCODE SCIPconsEnable | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
enables constraint's separation, enforcing, and propagation capabilities or marks them to be enabled in next update
cons | constraint |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 6935 of file cons.c.
References SCIP_Cons::active, assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableCons(), SCIP_Cons::enabled, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconssetchgUndo(), and SCIPenableCons().
SCIP_RETCODE SCIPconsDisable | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat ) |
disables constraint's separation, enforcing, and propagation capabilities or marks them to be disabled in next update
cons | constraint |
set | global SCIP settings |
stat | dynamic problem statistics |
Definition at line 6968 of file cons.c.
References SCIP_Cons::active, assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableCons(), SCIP_Cons::enabled, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconssetchgApply(), SCIPdisableCons(), and SCIPnodeDelCons().
SCIP_RETCODE SCIPconsEnableSeparation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
enables constraint's separation capabilities or marks them to be enabled in next update
cons | constraint |
set | global SCIP settings |
Definition at line 7002 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPenableConsSeparation().
SCIP_RETCODE SCIPconsDisableSeparation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
disables constraint's separation capabilities or marks them to be disabled in next update
cons | constraint |
set | global SCIP settings |
Definition at line 7032 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsSeparation(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPdisableConsSeparation().
SCIP_RETCODE SCIPconsEnablePropagation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
enables constraint's propagation capabilities or marks them to be enabled in next update
cons | constraint |
set | global SCIP settings |
Definition at line 7060 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPenableConsPropagation().
SCIP_RETCODE SCIPconsDisablePropagation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
disables constraint's propagation capabilities or marks them to be disabled in next update
cons | constraint |
set | global SCIP settings |
Definition at line 7090 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPdisableConsPropagation().
void SCIPconsMarkConflict | ( | SCIP_CONS * | cons | ) |
marks the constraint to be a conflict
cons | constraint |
Definition at line 7120 of file cons.c.
References assert(), SCIP_Cons::conflict, NULL, and TRUE.
Referenced by createAndAddProofcons(), SCIPaddConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreAddDualsolcons().
SCIP_RETCODE SCIPconsMarkPropagate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
marks the constraint to be propagated (update might be delayed)
cons | constraint |
set | global SCIP settings |
Definition at line 7130 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), and SCIPmarkConsPropagate().
SCIP_RETCODE SCIPconsUnmarkPropagate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
unmarks the constraint to be propagated (update might be delayed)
cons | constraint |
set | global SCIP settings |
Definition at line 7160 of file cons.c.
References assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), and SCIPunmarkConsPropagate().
SCIP_RETCODE SCIPconsAddAge | ( | SCIP_CONS * | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | prob, | ||
SCIP_Real | deltaage, | ||
SCIP_REOPT * | reopt ) |
adds given value to age of constraint, but age can never become negative; should be called
cons | constraint |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
prob | problem data |
deltaage | value to add to the constraint's age |
reopt | reoptimization data |
Definition at line 7197 of file cons.c.
References SCIP_Cons::age, assert(), SCIP_Cons::check, consExceedsAgelimit(), consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsObsolete(), MAX, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PRESOLVING, SCIPconsDelete(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPaddConsAge(), and SCIPconsIncAge().
SCIP_RETCODE SCIPconsIncAge | ( | SCIP_CONS * | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_PROB * | prob, | ||
SCIP_REOPT * | reopt ) |
increases age of constraint by 1.0; should be called
cons | constraint |
blkmem | block memory |
set | global SCIP settings |
stat | dynamic problem statistics |
prob | problem data |
reopt | reoptimization data |
Definition at line 7256 of file cons.c.
References SCIP_CALL, SCIP_OKAY, and SCIPconsAddAge().
Referenced by SCIPincConsAge().
SCIP_RETCODE SCIPconsResetAge | ( | SCIP_CONS * | cons, |
SCIP_SET * | set ) |
resets age of constraint to zero; should be called
cons | constraint |
set | global SCIP settings |
Definition at line 7277 of file cons.c.
References SCIP_Cons::age, assert(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsUseful(), conshdlrUpdateAgeresetavg(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPprobInitSolve(), and SCIPresetConsAge().
SCIP_RETCODE SCIPconsResolvePropagation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_VAR * | infervar, | ||
int | inferinfo, | ||
SCIP_BOUNDTYPE | inferboundtype, | ||
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Real | relaxedbd, | ||
SCIP_RESULT * | result ) |
resolves the given conflicting bound, that was deduced by the given constraint, by putting all "reason" bounds leading to the deduction into the conflict queue with calls to SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPaddConflictBd(), SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb(), SCIPaddConflictRelaxedBd(), or SCIPaddConflictBinvar();
cons | constraint that deduced the assignment |
set | global SCIP settings |
infervar | variable whose bound was deduced by the constraint |
inferinfo | user inference information attached to the bound change |
inferboundtype | bound that was deduced (lower or upper bound) |
bdchgidx | bound change index, representing the point of time where change took place |
relaxedbd | the relaxed bound |
result | pointer to store the result of the callback method |
Definition at line 7318 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Conshdlr::nrespropcalls, NULL, SCIP_Conshdlr::resproptime, result, SCIP_Cons::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIP_SUCCESS, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by conflictResolveBound().
SCIP_RETCODE SCIPconsAddLocks | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_LOCKTYPE | locktype, | ||
int | nlockspos, | ||
int | nlocksneg ) |
adds given values to lock status of the constraint and updates the locks of the given locktype of the involved variables
cons | constraint |
set | global SCIP settings |
locktype | type of variable locks |
nlockspos | increase in number of rounding locks for constraint |
nlocksneg | increase in number of rounding locks for constraint's negation |
Definition at line 7378 of file cons.c.
References assert(), SCIP_Cons::conshdlr, SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPaddConsLocksType(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsSetChecked(), SCIPprobAddCons(), and SCIPprobDelCons().
SCIP_DECL_HASHGETKEY | ( | SCIPhashGetKeyCons | ) |
gets the key (i.e. the name) of the given constraint
Definition at line 7912 of file cons.c.
References assert(), SCIP_Cons::name, and NULL.
SCIP_RETCODE SCIPconshdlrsStorePropagationStatus | ( | SCIP_SET * | set, |
SCIP_CONSHDLR ** | conshdlrs, | ||
int | nconshdlrs ) |
stores all constraints marked for propagation away when probing is started
set | global SCIP settings |
conshdlrs | all constraint handlers |
nconshdlrs | number of contraint handlers |
Definition at line 7951 of file cons.c.
References assert(), BMScopyMemoryArray, c, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeStartProbing().
SCIP_RETCODE SCIPconshdlrsResetPropagationStatus | ( | SCIP_SET * | set, |
BMS_BLKMEM * | blkmem, | ||
SCIP_CONSHDLR ** | conshdlrs, | ||
int | nconshdlrs ) |
reset all constraints marked for propagation when probing was finished
set | global SCIP settings |
blkmem | block memory |
conshdlrs | all constraint handlers |
nconshdlrs | number of contraint handlers |
Definition at line 7991 of file cons.c.
References assert(), c, conshdlrAreUpdatesDelayed(), SCIP_Cons::enabled, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::nupdateconss, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsUnmarkPropagate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeEndProbing().