scip_cons.h File Reference

Detailed Description

public methods for constraint handler plugins and constraints

Author

Tobias Achterberg

Timo Berthold

Thorsten Koch

Alexander Martin

Marc Pfetsch

Kati Wolter

Gregor Hendel

Robert Lion Gottwald

Definition in file scip_cons.h.

#include "scip/def.h"
#include "scip/type_cons.h"
#include "scip/type_heur.h"
#include "scip/type_lp.h"
#include "scip/type_misc.h"
#include "scip/type_result.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_sol.h"
#include "scip/type_timing.h"
#include "scip/type_var.h"

Go to the source code of this file.

Functions
SCIP_EXPORT SCIP_RETCODE	SCIPincludeConshdlr (SCIP *scip, const char *name, const char *desc, int sepapriority, int enfopriority, int chckpriority, 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_CONSHDLRDATA *conshdlrdata)
SCIP_EXPORT SCIP_RETCODE	SCIPincludeConshdlrBasic (SCIP *scip, SCIP_CONSHDLR **conshdlrptr, const char *name, const char *desc, int enfopriority, int chckpriority, int eagerfreq, SCIP_Bool needscons, SCIP_DECL_CONSENFOLP((*consenfolp)), SCIP_DECL_CONSENFOPS((*consenfops)), SCIP_DECL_CONSCHECK((*conscheck)), SCIP_DECL_CONSLOCK((*conslock)), SCIP_CONSHDLRDATA *conshdlrdata)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrSepa (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSSEPALP((*conssepalp)), SCIP_DECL_CONSSEPASOL((*conssepasol)), int sepafreq, int sepapriority, SCIP_Bool delaysepa)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrProp (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPROP((*consprop)), int propfreq, SCIP_Bool delayprop, SCIP_PROPTIMING proptiming)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrEnforelax (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSENFORELAX((*consenforelax)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrCopy (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)), SCIP_DECL_CONSCOPY((*conscopy)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrFree (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSFREE((*consfree)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrInit (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINIT((*consinit)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrExit (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXIT((*consexit)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrInitsol (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITSOL((*consinitsol)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrExitsol (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXITSOL((*consexitsol)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrInitpre (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITPRE((*consinitpre)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrExitpre (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXITPRE((*consexitpre)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrPresol (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPRESOL((*conspresol)), int maxprerounds, SCIP_PRESOLTIMING presoltiming)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrDelete (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDELETE((*consdelete)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrTrans (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSTRANS((*constrans)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrInitlp (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITLP((*consinitlp)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrResprop (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSRESPROP((*consresprop)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrActive (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSACTIVE((*consactive)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrDeactive (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDEACTIVE((*consdeactive)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrEnable (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSENABLE((*consenable)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrDisable (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDISABLE((*consdisable)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrDelvars (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDELVARS((*consdelvars)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrPrint (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPRINT((*consprint)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrParse (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPARSE((*consparse)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrGetVars (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETVARS((*consgetvars)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrGetNVars (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETNVARS((*consgetnvars)))
SCIP_EXPORT SCIP_RETCODE	SCIPsetConshdlrGetDiveBdChgs (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)))
SCIP_EXPORT SCIP_CONSHDLR *	SCIPfindConshdlr (SCIP *scip, const char *name)
SCIP_EXPORT SCIP_CONSHDLR **	SCIPgetConshdlrs (SCIP *scip)
SCIP_EXPORT int	SCIPgetNConshdlrs (SCIP *scip)
SCIP_EXPORT SCIP_RETCODE	SCIPcreateCons (SCIP *scip, SCIP_CONS **cons, 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_EXPORT SCIP_RETCODE	SCIPparseCons (SCIP *scip, SCIP_CONS **cons, 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)
SCIP_EXPORT SCIP_RETCODE	SCIPcaptureCons (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPreleaseCons (SCIP *scip, SCIP_CONS **cons)
SCIP_EXPORT SCIP_RETCODE	SCIPchgConsName (SCIP *scip, SCIP_CONS *cons, const char *name)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsInitial (SCIP *scip, SCIP_CONS *cons, SCIP_Bool initial)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsSeparated (SCIP *scip, SCIP_CONS *cons, SCIP_Bool separate)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsEnforced (SCIP *scip, SCIP_CONS *cons, SCIP_Bool enforce)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsChecked (SCIP *scip, SCIP_CONS *cons, SCIP_Bool check)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsPropagated (SCIP *scip, SCIP_CONS *cons, SCIP_Bool propagate)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsLocal (SCIP *scip, SCIP_CONS *cons, SCIP_Bool local)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsModifiable (SCIP *scip, SCIP_CONS *cons, SCIP_Bool modifiable)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsDynamic (SCIP *scip, SCIP_CONS *cons, SCIP_Bool dynamic)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsRemovable (SCIP *scip, SCIP_CONS *cons, SCIP_Bool removable)
SCIP_EXPORT SCIP_RETCODE	SCIPsetConsStickingAtNode (SCIP *scip, SCIP_CONS *cons, SCIP_Bool stickingatnode)
SCIP_EXPORT SCIP_RETCODE	SCIPupdateConsFlags (SCIP *scip, SCIP_CONS *cons0, SCIP_CONS *cons1)
SCIP_EXPORT SCIP_RETCODE	SCIPtransformCons (SCIP *scip, SCIP_CONS *cons, SCIP_CONS **transcons)
SCIP_EXPORT SCIP_RETCODE	SCIPtransformConss (SCIP *scip, int nconss, SCIP_CONS **conss, SCIP_CONS **transconss)
SCIP_EXPORT SCIP_RETCODE	SCIPgetTransformedCons (SCIP *scip, SCIP_CONS *cons, SCIP_CONS **transcons)
SCIP_EXPORT SCIP_RETCODE	SCIPgetTransformedConss (SCIP *scip, int nconss, SCIP_CONS **conss, SCIP_CONS **transconss)
SCIP_EXPORT SCIP_RETCODE	SCIPaddConsAge (SCIP *scip, SCIP_CONS *cons, SCIP_Real deltaage)
SCIP_EXPORT SCIP_RETCODE	SCIPincConsAge (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPresetConsAge (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPenableCons (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPdisableCons (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPenableConsSeparation (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPdisableConsSeparation (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPenableConsPropagation (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPdisableConsPropagation (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPmarkConsPropagate (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPunmarkConsPropagate (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPaddConsLocksType (SCIP *scip, SCIP_CONS *cons, SCIP_LOCKTYPE locktype, int nlockspos, int nlocksneg)
SCIP_EXPORT SCIP_RETCODE	SCIPaddConsLocks (SCIP *scip, SCIP_CONS *cons, int nlockspos, int nlocksneg)
SCIP_EXPORT SCIP_RETCODE	SCIPcheckCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPenfopsCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool solinfeasible, SCIP_Bool objinfeasible, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPenfolpCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool solinfeasible, SCIP_RESULT *result)
SCIP_RETCODE	SCIPenforelaxCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool solinfeasible, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPinitlpCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *infeasible)
SCIP_EXPORT SCIP_RETCODE	SCIPsepalpCons (SCIP *scip, SCIP_CONS *cons, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPsepasolCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPpropCons (SCIP *scip, SCIP_CONS *cons, SCIP_PROPTIMING proptiming, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPrespropCons (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *infervar, int inferinfo, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd, SCIP_RESULT *result)
SCIP_EXPORT SCIP_RETCODE	SCIPpresolCons (SCIP *scip, SCIP_CONS *cons, int nrounds, SCIP_PRESOLTIMING presoltiming, 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)
SCIP_EXPORT SCIP_RETCODE	SCIPactiveCons (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPdeactiveCons (SCIP *scip, SCIP_CONS *cons)
SCIP_EXPORT SCIP_RETCODE	SCIPprintCons (SCIP *scip, SCIP_CONS *cons, FILE *file)
SCIP_EXPORT SCIP_RETCODE	SCIPgetConsVars (SCIP *scip, SCIP_CONS *cons, SCIP_VAR **vars, int varssize, SCIP_Bool *success)
SCIP_EXPORT SCIP_RETCODE	SCIPgetConsNVars (SCIP *scip, SCIP_CONS *cons, int *nvars, SCIP_Bool *success)