Constraint handler for AND-constraints, \(r = x_1 \wedge x_2 \wedge \dots \wedge x_n\).
This constraint handler deals with AND-constraints. These are constraint of the form:
\[ r = x_1 \wedge x_2 \wedge \dots \wedge x_n \]
where \(x_i\) is a binary variable for all \(i\). Hence, \(r\) is also of binary type. The variable \(r\) is called resultant and the \(x\)'s operators.
Definition in file cons_and.c.
#include "blockmemshell/memory.h"
#include "scip/cons_and.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_pseudoboolean.h"
#include "scip/cons_setppc.h"
#include "scip/expr_product.h"
#include "scip/expr_var.h"
#include "scip/debug.h"
#include "scip/pub_cons.h"
#include "scip/pub_event.h"
#include "scip/pub_lp.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_misc_sort.h"
#include "scip/pub_var.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_copy.h"
#include "scip/scip_cut.h"
#include "scip/scip_event.h"
#include "scip/scip_expr.h"
#include "scip/scip_general.h"
#include "scip/scip_lp.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_nlp.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_prob.h"
#include "scip/scip_probing.h"
#include "scip/scip_sol.h"
#include "scip/scip_tree.h"
#include "scip/scip_var.h"
#include "scip/symmetry_graph.h"
#include "symmetry/struct_symmetry.h"
#include <string.h>
Go to the source code of this file.
Functions | |
static SCIP_RETCODE | lockRounding (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var) |
static SCIP_RETCODE | unlockRounding (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var) |
static SCIP_RETCODE | conshdlrdataCreate (SCIP *scip, SCIP_CONSHDLRDATA **conshdlrdata, SCIP_EVENTHDLR *eventhdlr) |
static void | conshdlrdataFree (SCIP *scip, SCIP_CONSHDLRDATA **conshdlrdata) |
static SCIP_RETCODE | consdataCatchWatchedEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, int pos, int *filterpos) |
static SCIP_RETCODE | consdataDropWatchedEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, int pos, int filterpos) |
static SCIP_RETCODE | consdataCatchEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr) |
static SCIP_RETCODE | consdataDropEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr) |
static SCIP_RETCODE | consdataSwitchWatchedvars (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, int watchedvar1, int watchedvar2) |
static SCIP_RETCODE | consdataEnsureVarsSize (SCIP *scip, SCIP_CONSDATA *consdata, int num) |
static SCIP_RETCODE | consdataCreate (SCIP *scip, SCIP_CONSDATA **consdata, SCIP_EVENTHDLR *eventhdlr, int nvars, SCIP_VAR **vars, SCIP_VAR *resvar, SCIP_Bool checkwhenupgr, SCIP_Bool notremovablewhenupgr) |
static SCIP_RETCODE | consdataFreeRows (SCIP *scip, SCIP_CONSDATA *consdata) |
static SCIP_RETCODE | consdataFree (SCIP *scip, SCIP_CONSDATA **consdata, SCIP_EVENTHDLR *eventhdlr) |
static SCIP_RETCODE | consdataPrint (SCIP *scip, SCIP_CONSDATA *consdata, FILE *file) |
static SCIP_RETCODE | addCoef (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, SCIP_VAR *var) |
static SCIP_RETCODE | delCoefPos (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, int pos) |
static void | consdataSort (SCIP_CONSDATA *consdata) |
static SCIP_RETCODE | applyFixings (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, int *nchgcoefs) |
static SCIP_RETCODE | createRelaxation (SCIP *scip, SCIP_CONS *cons) |
static SCIP_RETCODE | addRelaxation (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *infeasible) |
static SCIP_RETCODE | addNlrow (SCIP *scip, SCIP_CONS *cons) |
static SCIP_RETCODE | checkCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_Bool *violated) |
static SCIP_RETCODE | separateCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool *separated, SCIP_Bool *cutoff) |
static SCIP_RETCODE | analyzeConflictOne (SCIP *scip, SCIP_CONS *cons, int falsepos) |
static SCIP_RETCODE | analyzeConflictZero (SCIP *scip, SCIP_CONS *cons) |
static SCIP_RETCODE | consdataFixResultantZero (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *resvar, int pos, SCIP_Bool *cutoff, int *nfixedvars) |
static SCIP_RETCODE | consdataFixOperandsOne (SCIP *scip, SCIP_CONS *cons, SCIP_VAR **vars, int nvars, SCIP_Bool *cutoff, int *nfixedvars) |
static SCIP_RETCODE | consdataLinearize (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *cutoff, int *nfixedvars, int *nupgdconss) |
static SCIP_RETCODE | analyzeZeroResultant (SCIP *scip, SCIP_CONS *cons, int watchedvar1, int watchedvar2, SCIP_Bool *cutoff, int *nfixedvars) |
static SCIP_RETCODE | mergeMultiples (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, unsigned char **entries, int *nentries, int *nfixedvars, int *nchgcoefs, int *ndelconss) |
static SCIP_RETCODE | propagateCons (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, SCIP_Bool *cutoff, int *nfixedvars, int *nupgdconss) |
static SCIP_RETCODE | resolvePropagation (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *infervar, PROPRULE proprule, SCIP_BDCHGIDX *bdchgidx, SCIP_RESULT *result) |
static SCIP_RETCODE | dualPresolve (SCIP *scip, SCIP_CONS **conss, int nconss, SCIP_EVENTHDLR *eventhdlr, unsigned char **entries, int *nentries, SCIP_Bool *cutoff, int *nfixedvars, int *naggrvars, int *nchgcoefs, int *ndelconss, int *nupgdconss, int *naddconss) |
static SCIP_RETCODE | cliquePresolve (SCIP *scip, SCIP_CONS *cons, SCIP_EVENTHDLR *eventhdlr, SCIP_Bool *cutoff, int *nfixedvars, int *naggrvars, int *nchgcoefs, int *ndelconss, int *naddconss) |
static | SCIP_DECL_HASHGETKEY (hashGetKeyAndcons) |
static | SCIP_DECL_HASHKEYEQ (hashKeyEqAndcons) |
static | SCIP_DECL_HASHKEYVAL (hashKeyValAndcons) |
static SCIP_RETCODE | detectRedundantConstraints (SCIP *scip, BMS_BLKMEM *blkmem, SCIP_CONS **conss, int nconss, int *firstchange, SCIP_Bool *cutoff, int *naggrvars, int *ndelconss) |
static SCIP_RETCODE | enforceConstraint (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_CONS **conss, int nconss, SCIP_SOL *sol, SCIP_RESULT *result) |
static SCIP_RETCODE | preprocessConstraintPairs (SCIP *scip, SCIP_CONS **conss, int firstchange, int chkind, SCIP_Bool *cutoff, int *naggrvars, int *nbdchgs, int *ndelconss) |
static SCIP_RETCODE | addSymmetryInformation (SCIP *scip, SYM_SYMTYPE symtype, SCIP_CONS *cons, SYM_GRAPH *graph, SCIP_Bool *success) |
static | SCIP_DECL_CONSHDLRCOPY (conshdlrCopyAnd) |
static | SCIP_DECL_CONSFREE (consFreeAnd) |
static | SCIP_DECL_CONSINITPRE (consInitpreAnd) |
static | SCIP_DECL_CONSINITSOL (consInitsolAnd) |
static | SCIP_DECL_CONSEXITSOL (consExitsolAnd) |
static | SCIP_DECL_CONSDELETE (consDeleteAnd) |
static | SCIP_DECL_CONSTRANS (consTransAnd) |
static | SCIP_DECL_CONSINITLP (consInitlpAnd) |
static | SCIP_DECL_CONSSEPALP (consSepalpAnd) |
static | SCIP_DECL_CONSSEPASOL (consSepasolAnd) |
static | SCIP_DECL_CONSENFOLP (consEnfolpAnd) |
static | SCIP_DECL_CONSENFORELAX (consEnforelaxAnd) |
static | SCIP_DECL_CONSENFOPS (consEnfopsAnd) |
static | SCIP_DECL_CONSCHECK (consCheckAnd) |
static | SCIP_DECL_CONSPROP (consPropAnd) |
static | SCIP_DECL_CONSPRESOL (consPresolAnd) |
static | SCIP_DECL_CONSRESPROP (consRespropAnd) |
static | SCIP_DECL_CONSLOCK (consLockAnd) |
static | SCIP_DECL_CONSACTIVE (consActiveAnd) |
static | SCIP_DECL_CONSDEACTIVE (consDeactiveAnd) |
static | SCIP_DECL_CONSPRINT (consPrintAnd) |
static | SCIP_DECL_CONSCOPY (consCopyAnd) |
static | SCIP_DECL_CONSPARSE (consParseAnd) |
static | SCIP_DECL_CONSGETVARS (consGetVarsAnd) |
static | SCIP_DECL_CONSGETNVARS (consGetNVarsAnd) |
static | SCIP_DECL_CONSGETPERMSYMGRAPH (consGetPermsymGraphAnd) |
static | SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH (consGetSignedPermsymGraphAnd) |
static | SCIP_DECL_EVENTEXEC (eventExecAnd) |
SCIP_RETCODE | SCIPincludeConshdlrAnd (SCIP *scip) |
SCIP_RETCODE | SCIPcreateConsAnd (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *resvar, int nvars, SCIP_VAR **vars, 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_RETCODE | SCIPcreateConsBasicAnd (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *resvar, int nvars, SCIP_VAR **vars) |
int | SCIPgetNVarsAnd (SCIP *scip, SCIP_CONS *cons) |
SCIP_VAR ** | SCIPgetVarsAnd (SCIP *scip, SCIP_CONS *cons) |
SCIP_VAR * | SCIPgetResultantAnd (SCIP *scip, SCIP_CONS *cons) |
SCIP_Bool | SCIPisAndConsSorted (SCIP *scip, SCIP_CONS *cons) |
SCIP_RETCODE | SCIPsortAndCons (SCIP *scip, SCIP_CONS *cons) |
SCIP_RETCODE | SCIPchgAndConsCheckFlagWhenUpgr (SCIP *scip, SCIP_CONS *cons, SCIP_Bool flag) |
SCIP_RETCODE | SCIPchgAndConsRemovableFlagWhenUpgr (SCIP *scip, SCIP_CONS *cons, SCIP_Bool flag) |
#define CONSHDLR_NAME "and" |
Definition at line 85 of file cons_and.c.
Referenced by addAltLPConstraint(), addAltLPRow(), addCoef(), addCoef(), addObjcut(), addRelaxation(), applyAlternativeBoundsFixing(), checkFeasSubtree(), checkOverloadViaThetaTree(), COLORcreateConsStoreGraph(), COLORincludeConshdlrStoreGraph(), componentCreateSubscip(), computeEffectiveHorizon(), consdataCreate(), consdataCreate(), consdataEnsureAddLinConsSize(), copyConsPseudoboolean(), coretimesUpdateLb(), coretimesUpdateUb(), createAndAddAndCons(), createConsComponents(), createConsSetppc(), createConsStoreGraphAtRoot(), createConsXorIntvar(), createCoreProfile(), createNAryBranch(), createSubscip(), deleteAltLPConstraint(), enforceConstraint(), enforceConstraint(), enforceConstraint(), enforceConstraint(), enforceConstraint(), enforceConstraint(), enforceCurrentSol(), enforcePseudo(), enforcePseudo(), enforcePseudo(), findCumulativeConss(), findPrecedenceConss(), generateBoundInequalityFromSOS1Cons(), includeConshdlrCountsols(), inferboundsEdgeFinding(), initAlternativeLP(), performVarDeletions(), performVarDeletions(), performVarDeletions(), presolveConsEst(), presolveConsLct(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), processWatchedVars(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), registerBranchingCandidates(), removeIrrelevantJobs(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_TABLEOUTPUT(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddExprNonlinear(), SCIPaddLinearConsIndicator(), SCIPaddLinearVarNonlinear(), SCIPaddRowIndicator(), SCIPaddTermPseudoboolean(), SCIPaddVarCardinality(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPcheckQuadraticNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgCoefLinear(), SCIPchgExprNonlinear(), SCIPchgLhsLinear(), SCIPchgLhsNonlinear(), SCIPchgLhsPseudoboolean(), SCIPchgRhsLinear(), SCIPchgRhsNonlinear(), SCIPchgRhsPseudoboolean(), SCIPclassifyConstraintTypesLinear(), SCIPcleanupConssKnapsack(), SCIPcleanupConssLinear(), SCIPcleanupConssLogicor(), SCIPcleanupConssSetppc(), SCIPcleanupConssVarbound(), SCIPcount(), SCIPcreateConsAnd(), SCIPcreateConsBounddisjunction(), SCIPcreateConsBounddisjunctionRedundant(), SCIPcreateConsCardinality(), SCIPcreateConsConjunction(), SCIPcreateConsCumulative(), SCIPcreateConsDisjunction(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsLOP(), SCIPcreateConsNonlinear(), SCIPcreateConsOptcumulative(), SCIPcreateConsOr(), SCIPcreateConsOrbisack(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsQuadraticNonlinear(), SCIPcreateConsSamediff(), SCIPcreateConsSOS1(), SCIPcreateConsSOS2(), SCIPcreateConsSuperindicator(), SCIPcreateConsSymresack(), SCIPcreateConsVarbound(), SCIPcreateConsXor(), SCIPexistsConsLinking(), SCIPgetActiveOnIndicator(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarIndicatorGeneric(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCardvalCardinality(), SCIPgetConflictgraphSOS1(), SCIPgetConsLinking(), SCIPgetCountedSparseSols(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExprNonlinear(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHmaxOptcumulative(), SCIPgetHminCumulative(), SCIPgetHminOptcumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntVarXor(), SCIPgetLhsLinear(), SCIPgetLhsNonlinear(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinkvarLinking(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNCountedFeasSubtrees(), SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowNonlinear(), SCIPgetNSOS1Vars(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsLinear(), SCIPgetRhsNonlinear(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsCardinality(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), SCIPincludeConshdlrViolatedCut(), SCIPincludeConshdlrXor(), SCIPincludeConsUpgradeNonlinear(), SCIPincludeLinconsUpgrade(), SCIPincludeNlhdlrNonlinear(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPmakeSOS1sFeasible(), SCIPpropCumulativeCondition(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHmaxOptcumulative(), SCIPsetHminCumulative(), SCIPsetHminOptcumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsetSolveCumulative(), SCIPsolveCumulative(), SCIPsortAndCons(), SCIPupgradeConsLinear(), SCIPvarGetNodeSOS1(), SCIPvarIsSOS1(), separateCons(), separateCons(), separateCons(), separateCons(), and separateConstraints().
Definition at line 86 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), includeConshdlrCountsols(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), SCIPincludeConshdlrViolatedCut(), and SCIPincludeConshdlrXor().
#define CONSHDLR_SEPAPRIORITY +850100 |
priority of the constraint handler for separation
Definition at line 87 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_ENFOPRIORITY -850100 |
priority of the constraint handler for constraint enforcing
Definition at line 88 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), includeConshdlrCountsols(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_CHECKPRIORITY -850100 |
priority of the constraint handler for checking feasibility
Definition at line 89 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), includeConshdlrCountsols(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_SEPAFREQ 1 |
frequency for separating cuts; zero means to separate only in the root node
Definition at line 90 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_PROPFREQ 1 |
frequency for propagating domains; zero means only preprocessing propagation
Definition at line 91 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_EAGERFREQ 100 |
frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
Definition at line 92 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), includeConshdlrCountsols(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_MAXPREROUNDS -1 |
maximal number of presolving rounds the constraint handler participates in (-1: no limit)
Definition at line 94 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_DELAYSEPA FALSE |
should separation method be delayed, if other separators found cuts?
Definition at line 95 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_DELAYPROP FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 96 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_NEEDSCONS TRUE |
should the constraint handler be skipped, if no constraints are available?
Definition at line 97 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), includeConshdlrCountsols(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrFixedvar(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrIntegral(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_PRESOLTIMING (SCIP_PRESOLTIMING_FAST | SCIP_PRESOLTIMING_EXHAUSTIVE) |
Definition at line 99 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBenders(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrConjunction(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrPseudoboolean(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP |
Definition at line 100 of file cons_and.c.
Referenced by COLORincludeConshdlrStoreGraph(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrComponents(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrDisjunction(), SCIPincludeConshdlrIndicator(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrLOP(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrOptcumulative(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrOrbisack(), SCIPincludeConshdlrOrbitope(), SCIPincludeConshdlrSamediff(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrSuperindicator(), SCIPincludeConshdlrSymresack(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define EVENTHDLR_NAME "and" |
Definition at line 102 of file cons_and.c.
#define EVENTHDLR_DESC "bound change event handler for AND-constraints" |
Definition at line 103 of file cons_and.c.
#define DEFAULT_PRESOLPAIRWISE TRUE |
should pairwise constraint comparison be performed in presolving?
Definition at line 105 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrVarbound(), and SCIPincludeConshdlrXor().
#define DEFAULT_LINEARIZE FALSE |
should constraint get linearized and removed?
Definition at line 106 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), and SCIPincludeConshdlrLinking().
#define DEFAULT_ENFORCECUTS TRUE |
should cuts be separated during LP enforcing?
Definition at line 107 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), and SCIPincludeConshdlrIndicator().
#define DEFAULT_AGGRLINEARIZATION FALSE |
should an aggregated linearization be used?
Definition at line 108 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd().
#define DEFAULT_UPGRRESULTANT TRUE |
should all binary resultant variables be upgraded to implicit binary variables
Definition at line 109 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd().
#define DEFAULT_DUALPRESOLVING TRUE |
should dual presolving be performed?
Definition at line 110 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLogicor(), and SCIPincludeConshdlrSetppc().
#define HASHSIZE_ANDCONS 500 |
minimal size of hash table in and constraint tables
Definition at line 112 of file cons_and.c.
Referenced by detectRedundantConstraints().
#define DEFAULT_PRESOLUSEHASHING TRUE |
should hash table be used for detecting redundant constraints in advance
Definition at line 113 of file cons_and.c.
Referenced by SCIPincludeConshdlrAnd(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrSetppc(), and SCIPincludeConshdlrXor().
#define NMINCOMPARISONS 200000 |
number for minimal pairwise presolving comparisons
Definition at line 114 of file cons_and.c.
Referenced by SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPRESOL().
#define MINGAINPERNMINCOMPARISONS 1e-06 |
minimal gain per minimal pairwise presolving comparisons to repeat pairwise comparison round
Definition at line 115 of file cons_and.c.
Referenced by SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPRESOL().
Definition at line 179 of file cons_and.c.
enum Proprule |
Definition at line 171 of file cons_and.c.
|
static |
installs rounding locks for the given variable in the given AND-constraint
scip | SCIP data structure |
cons | constraint data |
var | variable of constraint entry |
Definition at line 188 of file cons_and.c.
References SCIP_CALL, SCIP_OKAY, SCIPlockVarCons(), TRUE, and var.
Referenced by addCoef().
|
static |
removes rounding locks for the given variable in the given AND-constraint
scip | SCIP data structure |
cons | constraint data |
var | variable of constraint entry |
Definition at line 202 of file cons_and.c.
References SCIP_CALL, SCIP_OKAY, SCIPunlockVarCons(), TRUE, and var.
Referenced by delCoefPos().
|
static |
creates constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to store the constraint handler data |
eventhdlr | event handler |
Definition at line 216 of file cons_and.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocBlockMemory.
Referenced by SCIPincludeConshdlrAnd().
|
static |
frees constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to the constraint handler data |
Definition at line 236 of file cons_and.c.
References assert(), NULL, and SCIPfreeBlockMemory.
Referenced by SCIP_DECL_CONSFREE().
|
static |
catches events for the watched variable at given position
scip | SCIP data structure |
consdata | AND-constraint data |
eventhdlr | event handler to call for the event processing |
pos | array position of variable to catch bound change events for |
filterpos | pointer to store position of event filter entry |
Definition at line 249 of file cons_and.c.
References assert(), NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by consdataSwitchWatchedvars().
|
static |
drops events for the watched variable at given position
scip | SCIP data structure |
consdata | AND-constraint data |
eventhdlr | event handler to call for the event processing |
pos | array position of watched variable to drop bound change events for |
filterpos | position of event filter entry |
Definition at line 273 of file cons_and.c.
References assert(), NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by consdataSwitchWatchedvars().
|
static |
catches needed events on all variables of constraint, except the special ones for watched variables
scip | SCIP data structure |
consdata | AND-constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 296 of file cons_and.c.
References assert(), i, NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by consdataCreate().
|
static |
drops events on all variables of constraint, except the special ones for watched variables
scip | SCIP data structure |
consdata | AND-constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 322 of file cons_and.c.
References assert(), i, NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by consdataFree().
|
static |
stores the given variable numbers as watched variables, and updates the event processing
scip | SCIP data structure |
consdata | AND-constraint data |
eventhdlr | event handler to call for the event processing |
watchedvar1 | new first watched variable |
watchedvar2 | new second watched variable |
Definition at line 348 of file cons_and.c.
References assert(), consdataCatchWatchedEvents(), consdataDropWatchedEvents(), NULL, nvars, SCIP_CALL, and SCIP_OKAY.
Referenced by consdataFree(), delCoefPos(), and propagateCons().
|
static |
ensures, that the vars array can store at least num entries
scip | SCIP data structure |
consdata | linear constraint data |
num | minimum number of entries to store |
Definition at line 408 of file cons_and.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), and SCIPreallocBlockMemoryArray.
Referenced by addCoef().
|
static |
creates constraint data for AND-constraint
scip | SCIP data structure |
consdata | pointer to store the constraint data |
eventhdlr | event handler to call for the event processing |
nvars | number of variables in the AND-constraint |
vars | variables in AND-constraint |
resvar | resultant variable |
checkwhenupgr | should an upgraded constraint be checked despite the fact that this AND-constraint will not be checked |
notremovablewhenupgr | should an upgraded constraint be despite the fact that this AND-constraint will not be checked |
Definition at line 432 of file cons_and.c.
References assert(), consdataCatchEvents(), FALSE, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIPallocBlockMemory, SCIPcaptureVar(), SCIPduplicateBlockMemoryArray, SCIPgetStage(), SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPisTransformed(), SCIPmarkDoNotMultaggrVar(), SCIPvarIsBinary(), TRUE, and vars.
Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsAnd().
|
static |
releases LP rows of constraint data and frees rows array
scip | SCIP data structure |
consdata | constraint data |
Definition at line 515 of file cons_and.c.
References assert(), NULL, r, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemoryArray, and SCIPreleaseRow().
Referenced by consdataFree(), and SCIP_DECL_CONSEXITSOL().
|
static |
frees constraint data for AND-constraint
scip | SCIP data structure |
consdata | pointer to the constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 546 of file cons_and.c.
References assert(), consdataDropEvents(), consdataFreeRows(), consdataSwitchWatchedvars(), NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, SCIPisTransformed(), SCIPreleaseNlRow(), and SCIPreleaseVar().
Referenced by SCIP_DECL_CONSDELETE().
|
static |
prints AND-constraint to file stream
scip | SCIP data structure |
consdata | AND-constraint data |
file | output file (or NULL for standard output) |
Definition at line 596 of file cons_and.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPinfoMessage(), SCIPwriteVarName(), SCIPwriteVarsList(), and TRUE.
Referenced by applyFixings(), and SCIP_DECL_CONSPRINT().
|
static |
adds coefficient to AND-constraint
scip | SCIP data structure |
cons | linear constraint |
eventhdlr | event handler to call for the event processing |
var | variable to add to the constraint |
Definition at line 621 of file cons_and.c.
References assert(), consdataEnsureVarsSize(), FALSE, lockRounding(), NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcaptureVar(), SCIPcatchVarEvent(), SCIPconsGetData(), SCIPconsIsTransformed(), SCIPerrorMessage, SCIPgetTransformedVar(), SCIPvarIsTransformed(), TRUE, and var.
Referenced by applyFixings().
|
static |
deletes coefficient at given position from AND-constraint data
scip | SCIP data structure |
cons | AND-constraint |
eventhdlr | event handler to call for the event processing |
pos | position of coefficient to delete |
Definition at line 681 of file cons_and.c.
References assert(), consdataSwitchWatchedvars(), FALSE, NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, SCIPconsGetData(), SCIPconsIsTransformed(), SCIPdropVarEvent(), SCIPreleaseVar(), SCIPvarIsTransformed(), TRUE, and unlockRounding().
Referenced by applyFixings(), cliquePresolve(), dualPresolve(), and mergeMultiples().
|
static |
sorts AND-constraint's variables by non-decreasing variable index
consdata | constraint data |
Definition at line 744 of file cons_and.c.
References assert(), NULL, nvars, SCIP_Bool, SCIPsortedvecFindPtr(), SCIPsortPtr(), SCIPvarCompare(), and TRUE.
Referenced by detectRedundantConstraints(), preprocessConstraintPairs(), SCIP_DECL_HASHKEYEQ(), and SCIPsortAndCons().
|
static |
deletes all one-fixed variables
scip | SCIP data structure |
cons | AND-constraint |
eventhdlr | event handler to call for the event processing |
nchgcoefs | pointer to add up the number of changed coefficients |
Definition at line 825 of file cons_and.c.
References addCoef(), assert(), consdataPrint(), delCoefPos(), NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_OKAY, SCIPcaptureVar(), SCIPcatchVarEvent(), SCIPconsGetData(), SCIPconsIsTransformed(), SCIPdebug, SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdropVarEvent(), SCIPgetBinvarRepresentative(), SCIPisFeasEQ(), SCIPreleaseVar(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIPvarIsBinary(), TRUE, and var.
Referenced by dualPresolve(), and SCIP_DECL_CONSPRESOL().
|
static |
creates a linearization of the AND-constraint
scip | SCIP data structure |
cons | constraint to check |
Definition at line 925 of file cons_and.c.
References assert(), i, NULL, nvars, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), SCIPallocBlockMemoryArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsRemovable(), SCIPcreateEmptyRowCons(), SCIPinfinity(), and SCIPsnprintf().
Referenced by addRelaxation(), and separateCons().
|
static |
adds linear relaxation of AND-constraint to the LP
scip | SCIP data structure |
cons | constraint to check |
infeasible | pointer to store whether an infeasibility was detected |
Definition at line 972 of file cons_and.c.
References assert(), createRelaxation(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsRemovable(), SCIPcreateEmptyRowCons(), SCIPinfinity(), SCIProwIsInLP(), and SCIPsnprintf().
Referenced by SCIP_DECL_CONSINITLP().
|
static |
adds constraint as row to the NLP, if not added yet
scip | SCIP data structure |
cons | and constraint |
Definition at line 1032 of file cons_and.c.
References assert(), i, NULL, SCIP_CALL, SCIP_EXPRCURV_UNKNOWN, SCIP_OKAY, SCIP_Real, SCIPaddNlRow(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsActive(), SCIPconsIsChecked(), SCIPconsIsLocal(), SCIPcreateExprProduct(), SCIPcreateExprVar(), SCIPcreateNlRow(), SCIPfreeBufferArray, SCIPisNLPConstructed(), SCIPnlrowIsInNLP(), and SCIPreleaseExpr().
Referenced by SCIP_DECL_CONSACTIVE(), and SCIP_DECL_CONSINITSOL().
|
static |
checks AND-constraint for feasibility of given solution: returns TRUE iff constraint is feasible
scip | SCIP data structure |
cons | constraint to check |
sol | solution to check, NULL for current solution |
checklprows | Do constraints represented by rows in the current LP have to be checked? |
printreason | Should the reason for the violation be printed? |
violated | pointer to store whether the constraint is violated |
Definition at line 1085 of file cons_and.c.
References assert(), FALSE, i, MAX3, NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPgetSolVal(), SCIPincConsAge(), SCIPinfoMessage(), SCIPisFeasPositive(), SCIPprintCons(), SCIPresetConsAge(), SCIProwIsInLP(), SCIPupdateSolConsViolation(), SCIPvarGetName(), sol, and TRUE.
Referenced by enforceConstraint(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOPS().
|
static |
separates given primal solution
scip | SCIP data structure |
cons | constraint to check |
sol | primal CIP solution, NULL for current LP solution |
separated | pointer to store whether a cut was found |
cutoff | whether a cutoff has been detected |
Definition at line 1197 of file cons_and.c.
References assert(), createRelaxation(), cutoff, FALSE, NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPconsGetData(), SCIPgetRowSolFeasibility(), SCIPisFeasNegative(), SCIProwIsInLP(), sol, and TRUE.
Referenced by enforceConstraint(), SCIP_DECL_CONSSEPALP(), and SCIP_DECL_CONSSEPASOL().
|
static |
analyzes conflicting TRUE assignment to resultant of given constraint, and adds conflict constraint to problem
scip | SCIP data structure |
cons | AND-constraint that detected the conflict |
falsepos | position of operand that is fixed to FALSE |
Definition at line 1246 of file cons_and.c.
References assert(), FALSE, NULL, nvars, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by consdataFixOperandsOne(), and consdataFixResultantZero().
|
static |
analyzes conflicting FALSE assignment to resultant of given constraint, and adds conflict constraint to problem
scip | SCIP data structure |
cons | or constraint that detected the conflict |
Definition at line 1278 of file cons_and.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPconsIsModifiable(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by analyzeZeroResultant(), and propagateCons().
|
static |
tries to fix the given resultant to zero
scip | SCIP data structure |
cons | AND-constraint to be processed |
resvar | resultant variable to fix to zero |
pos | position of operand that is fixed to FALSE |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
Definition at line 1314 of file cons_and.c.
References analyzeConflictOne(), cutoff, FALSE, PROPRULE_1, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetName(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPinferBinvarCons(), SCIPresetConsAge(), SCIPvarGetName(), and TRUE.
Referenced by propagateCons().
|
static |
fix all operands to one
scip | SCIP data structure |
cons | AND-constraint to be processed |
vars | array of operands |
nvars | number of operands |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
Definition at line 1353 of file cons_and.c.
References analyzeConflictOne(), cutoff, nvars, PROPRULE_2, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetName(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPinferBinvarCons(), SCIPresetConsAge(), SCIPvarGetName(), TRUE, and vars.
Referenced by propagateCons().
|
static |
linearize AND-constraint due to a globally to zero fixed resultant; that is, creates, adds, and releases a logicor constraint and remove the AND-constraint globally.
Since the resultant is fixed to zero the AND-constraint collapses to linear constraint of the form:
This can be transformed into a logicor constraint of the form
scip | SCIP data structure |
cons | AND-constraint to linearize |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
nupgdconss | pointer to add up the number of upgraded constraints |
Definition at line 1407 of file cons_and.c.
References assert(), cutoff, FALSE, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLogicor(), SCIPcreateConsSetpack(), SCIPdebugPrintCons, SCIPdelCons(), SCIPfixVar(), SCIPfreeBufferArray, SCIPgetBinvarRepresentatives(), SCIPgetNegatedVar(), SCIPreleaseCons(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), TRUE, and vars.
Referenced by propagateCons().
|
static |
the resultant is fixed to zero; in case all except one operator are fixed to TRUE the last operator has to fixed to FALSE
scip | SCIP data structure |
cons | AND-constraint to be processed |
watchedvar1 | maybe last unfixed variable position |
watchedvar2 | second watched position |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
Definition at line 1518 of file cons_and.c.
References analyzeConflictZero(), assert(), cutoff, FALSE, NULL, PROPRULE_4, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPinferBinvarCons(), SCIPresetConsAge(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.
Referenced by propagateCons().
|
static |
replaces multiple occurrences of variables
scip | SCIP data structure |
cons | AND-constraint |
eventhdlr | event handler to call for the event processing |
entries | array to store whether two positions in constraints represent the same variable |
nentries | pointer for array size, if array will be to small it's corrected |
nfixedvars | pointer to store number of fixed variables |
nchgcoefs | pointer to store number of changed coefficients |
ndelconss | pointer to store number of deleted constraints |
Definition at line 1579 of file cons_and.c.
References assert(), delCoefPos(), i, nbinvars, nintvars, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdelCons(), SCIPfixVar(), SCIPgetNBinVars(), SCIPgetNImplVars(), SCIPgetNIntVars(), SCIPvarGetName(), SCIPvarGetNegatedVar(), SCIPvarGetProbindex(), SCIPvarGetType(), SCIPvarIsActive(), SCIPvarIsBinary(), SCIPvarIsNegated(), TRUE, var, and vars.
Referenced by dualPresolve(), and SCIP_DECL_CONSPRESOL().
|
static |
propagates constraint with the following rules: (1) v_i = FALSE => r = FALSE (2) r = TRUE => v_i = TRUE for all i (3) v_i = TRUE for all i => r = TRUE (4) r = FALSE, v_i = TRUE for all i except j => v_j = FALSE
additional if the resultant is fixed to zero during presolving or in the root node (globally), then the AND-constraint is collapsed to a linear (logicor) constraint of the form -> sum_{i=0}^{n-1} ~v_i >= 1
scip | SCIP data structure |
cons | AND-constraint to be processed |
eventhdlr | event handler to call for the event processing |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
nupgdconss | pointer to add up the number of upgraded constraints |
Definition at line 1736 of file cons_and.c.
References analyzeConflictZero(), analyzeZeroResultant(), assert(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consdataSwitchWatchedvars(), cutoff, i, NULL, nvars, PROPRULE_3, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsModifiable(), SCIPcutoffNode(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPgetDepth(), SCIPgetRootNode(), SCIPincConsAge(), SCIPinferBinvarCons(), SCIPinProbing(), SCIPinRepropagation(), SCIPisFeasEQ(), SCIPresetConsAge(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), TRUE, and vars.
Referenced by dualPresolve(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPROP().
|
static |
resolves a conflict on the given variable by supplying the variables needed for applying the corresponding propagation rule (see propagateCons()): (1) v_i = FALSE => r = FALSE (2) r = TRUE => v_i = TRUE for all i (3) v_i = TRUE for all i => r = TRUE (4) r = FALSE, v_i = TRUE for all i except j => v_j = FALSE
scip | SCIP data structure |
cons | constraint that inferred the bound change |
infervar | variable that was deduced |
proprule | propagation rule that deduced the value |
bdchgidx | bound change index (time stamp of bound change), or NULL for current time |
result | pointer to store the result of the propagation conflict resolving call |
Definition at line 1941 of file cons_and.c.
References assert(), FALSE, i, NULL, nvars, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_INVALID, result, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_SUCCESS, SCIPaddConflictBinvar(), SCIPconsGetData(), SCIPconsGetName(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), TRUE, and vars.
Referenced by SCIP_DECL_CONSRESPROP().
|
static |
perform dual presolving on AND-constraints
scip | SCIP data structure |
conss | AND-constraints to perform dual presolving on |
nconss | number of AND-constraints |
eventhdlr | event handler to call for the event processing |
entries | array to store whether two positions in constraints represent the same variable |
nentries | pointer for array size, if array will be to small it's corrected |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
naggrvars | pointer to add up the number of aggregated variables |
nchgcoefs | pointer to add up the number of changed coefficients |
ndelconss | pointer to add up the number of deleted constraints |
nupgdconss | pointer to add up the number of upgraded constraints |
naddconss | pointer to add up the number of added constraints |
Definition at line 2027 of file cons_and.c.
References applyFixings(), assert(), c, cutoff, delCoefPos(), FALSE, mergeMultiples(), NULL, nvars, obj, propagateCons(), REALABS, SCIP_Bool, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPaggregateVars(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsActive(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPdebugMsg, SCIPdelCons(), SCIPfixVar(), SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNImplVars(), SCIPinfinity(), SCIPisEQ(), SCIPisGE(), SCIPisGT(), SCIPisInfinity(), SCIPisLE(), SCIPisLT(), SCIPisNegative(), SCIPisPositive(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetAggregatedObj(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetUbGlobal(), TRUE, var, and vars.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
check if at least two operands or one operand and the resultant are in one clique, if so, we can fix the resultant to zero and in the former case we can also delete this constraint but we need to extract the clique information as constraint
x == AND(y, z) and clique(y,z) => x = 0, delete constraint and create y + z <= 1 x == AND(y, z) and clique(x,y) => x = 0
special handled cases are:
x == AND(~x, y) => x = 0 x == AND(x, y) => add x + ~y <= 1 and delete the constraint
check if one operand is in a clique with the negation of all other operands, this means we can aggregate this operand to the resultant
r == AND(x,y,z) and clique(x,~y) and clique(x,~z) => r == x
check if the resultant and the negations of all operands are in a clique
r == AND(x,y) and clique(r, ~x,~y) => upgrade the constraint to a set-partitioning constraint r + ~x + ~y = 1
scip | SCIP data structure |
cons | constraint to process |
eventhdlr | event handler to call for the event processing |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
naggrvars | pointer to add up the number of aggregated variables |
nchgcoefs | pointer to add up the number of changed coefficients |
ndelconss | pointer to add up the number of deleted constraints |
naddconss | pointer to add up the number of added constraints |
Definition at line 2679 of file cons_and.c.
References assert(), BMSclearMemoryArray, cutoff, delCoefPos(), FALSE, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_VARSTATUS_FIXED, SCIPaddCons(), SCIPaggregateVars(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsActive(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsSetpack(), SCIPcreateConsSetpart(), SCIPdebugMsg, SCIPdebugPrintCons, SCIPdelCons(), SCIPfixVar(), SCIPfreeBufferArray, SCIPgetNegatedVar(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNegatedVar(), SCIPvarGetProbvarBinary(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarsHaveCommonClique(), TRUE, and vars.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
gets the key of the given element
Definition at line 3327 of file cons_and.c.
|
static |
returns TRUE iff both keys are equal; two constraints are equal if they have the same variables
Definition at line 3335 of file cons_and.c.
References assert(), consdataSort(), FALSE, i, NULL, SCIP_Bool, SCIPconsGetData(), SCIPvarCompare(), and TRUE.
|
static |
returns the hash value of the key
Definition at line 3381 of file cons_and.c.
References assert(), NULL, SCIPconsGetData(), SCIPhashFour, and SCIPvarGetIndex().
|
static |
compares each constraint with all other constraints for possible redundancy and removes or changes constraint accordingly; in contrast to removeRedundantConstraints(), it uses a hash table
scip | SCIP data structure |
blkmem | block memory |
conss | constraint set |
nconss | number of constraints in constraint set |
firstchange | pointer to store first changed constraint |
cutoff | pointer to store TRUE, if a cutoff was found |
naggrvars | pointer to count number of aggregated variables |
ndelconss | pointer to count number of deleted constraints |
Definition at line 3405 of file cons_and.c.
References assert(), c, consdataSort(), cutoff, FALSE, HASHSIZE_ANDCONS, MAX, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetPos(), SCIPconsIsActive(), SCIPconsIsModifiable(), SCIPdelCons(), SCIPdoNotAggr(), SCIPhashtableCreate(), SCIPhashtableFree(), SCIPhashtableInsert(), SCIPhashtableRetrieve(), SCIPupdateConsFlags(), SCIPvarCompare(), and TRUE.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
helper function to enforce constraints
scip | SCIP data structure |
conshdlr | constraint handler |
conss | constraints to process |
nconss | number of constraints |
sol | solution to enforce (NULL for the LP solution) |
result | pointer to store the result of the enforcing call |
Definition at line 3525 of file cons_and.c.
References assert(), checkCons(), cutoff, FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_SEPARATED, SCIPconshdlrGetData(), separateCons(), and sol.
Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFORELAX().
|
static |
compares constraint with all prior constraints for possible redundancy or aggregation, and removes or changes constraint accordingly
scip | SCIP data structure |
conss | constraint set |
firstchange | first constraint that changed since last pair preprocessing round |
chkind | index of constraint to check against all prior indices upto startind |
cutoff | pointer to store TRUE, if a cutoff was found |
naggrvars | pointer to count number of aggregated variables |
nbdchgs | pointer to count the number of performed bound changes, or NULL |
ndelconss | pointer to count number of deleted constraints |
Definition at line 3582 of file cons_and.c.
References assert(), c, consdataSort(), cutoff, FALSE, NULL, nvars, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, SCIPaddVarImplication(), SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsActive(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelCons(), SCIPdoNotAggr(), SCIPerrorMessage, SCIPisStopped(), SCIPupdateConsFlags(), SCIPvarCompare(), SCIPvarGetName(), and TRUE.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
adds symmetry information of constraint to a symmetry detection graph
scip | SCIP pointer |
symtype | type of symmetries that need to be added |
cons | constraint |
graph | symmetry detection graph |
success | pointer to store whether symmetry information could be added |
Definition at line 3786 of file cons_and.c.
References assert(), FALSE, i, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphConsnode(), SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphVarAggregation(), SCIPallocBufferArray, SCIPconsGetData(), SCIPfreeBufferArray, SCIPgetSymActiveVariables(), SCIPisTransformed(), SYM_CONSOPTYPE_AND, TRUE, and vars.
Referenced by SCIP_DECL_CONSGETPERMSYMGRAPH(), and SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH().
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 3859 of file cons_and.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrAnd(), TRUE, and valid.
|
static |
destructor of constraint handler to free constraint handler data (called when SCIP is exiting)
Definition at line 3875 of file cons_and.c.
References assert(), conshdlrdataFree(), NULL, SCIP_OKAY, SCIPconshdlrGetData(), and SCIPconshdlrSetData().
|
static |
presolving initialization method of constraint handler (called when presolving is about to begin)
Definition at line 3893 of file cons_and.c.
References assert(), c, NULL, nvars, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsAdded(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPdelCons(), SCIPfreeBufferArray, SCIPinfinity(), SCIPreallocBufferArray, SCIPreleaseCons(), SCIPsnprintf(), and vars.
|
static |
solving process initialization method of constraint handler
Definition at line 4176 of file cons_and.c.
References addNlrow(), c, SCIP_CALL, SCIP_OKAY, and SCIPisNLPConstructed().
|
static |
solving process deinitialization method of constraint handler (called before branch and bound process data is freed)
Definition at line 4193 of file cons_and.c.
References assert(), c, consdataFreeRows(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPreleaseNlRow().
|
static |
frees specific constraint data
Definition at line 4218 of file cons_and.c.
References assert(), consdataFree(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetData().
|
static |
transforms constraint data into data belonging to the transformed problem
Definition at line 4233 of file cons_and.c.
References assert(), consdataCreate(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), and SCIPcreateCons().
|
static |
LP initialization method of constraint handler (called before the initial LP relaxation at a node is solved)
Definition at line 4263 of file cons_and.c.
References addRelaxation(), assert(), FALSE, i, SCIP_CALL, SCIP_OKAY, and SCIPconsIsInitial().
|
static |
separation method of constraint handler for LP solutions
Definition at line 4281 of file cons_and.c.
References c, cutoff, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
|
static |
separation method of constraint handler for arbitrary primal solutions
Definition at line 4308 of file cons_and.c.
References c, cutoff, result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, separateCons(), and sol.
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 4335 of file cons_and.c.
References enforceConstraint(), NULL, result, SCIP_CALL, and SCIP_OKAY.
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 4344 of file cons_and.c.
References enforceConstraint(), result, SCIP_CALL, SCIP_OKAY, and sol.
|
static |
constraint enforcing method of constraint handler for pseudo solutions
Definition at line 4353 of file cons_and.c.
References checkCons(), FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, and TRUE.
|
static |
feasibility check method of constraint handler and
Definition at line 4375 of file cons_and.c.
References checkCons(), i, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, and sol.
|
static |
domain propagation method of constraint handler
Definition at line 4394 of file cons_and.c.
References assert(), c, cutoff, FALSE, NULL, propagateCons(), result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPconshdlrGetData().
|
static |
presolving method of constraint handler
Definition at line 4429 of file cons_and.c.
References applyFixings(), assert(), c, cliquePresolve(), cutoff, detectRedundantConstraints(), dualPresolve(), FALSE, i, mergeMultiples(), MINGAINPERNMINCOMPARISONS, NMINCOMPARISONS, NULL, preprocessConstraintPairs(), propagateCons(), result, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_Longint, SCIP_OKAY, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_Real, SCIP_SUCCESS, SCIPaddVarImplication(), SCIPaggregateVars(), SCIPallocBufferArray, SCIPallowStrongDualReds(), SCIPblkmem(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelCons(), SCIPdoNotAggr(), SCIPfreeBufferArray, SCIPgetNContVars(), SCIPgetNVars(), SCIPisFeasEQ(), SCIPisStopped(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and TRUE.
|
static |
propagation conflict resolving method of constraint handler
Definition at line 4658 of file cons_and.c.
References resolvePropagation(), result, SCIP_CALL, and SCIP_OKAY.
|
static |
variable rounding lock method of constraint handler
Definition at line 4668 of file cons_and.c.
References assert(), i, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddVarLocksType(), and SCIPconsGetData().
|
static |
constraint activation notification method of constraint handler
Definition at line 4692 of file cons_and.c.
References addNlrow(), SCIP_CALL, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPgetStage(), and SCIPisNLPConstructed().
|
static |
constraint deactivation notification method of constraint handler
Definition at line 4704 of file cons_and.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPconsGetData(), SCIPdelNlRow(), and SCIPgetStage().
|
static |
constraint display method of constraint handler
Definition at line 4726 of file cons_and.c.
References assert(), consdataPrint(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsGetData().
|
static |
constraint copying method of constraint handler
Definition at line 4739 of file cons_and.c.
References assert(), NULL, nvars, propagate, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPallocBufferArray, SCIPconsGetName(), SCIPcreateConsAnd(), SCIPfreeBufferArray, SCIPgetNVarsAnd(), SCIPgetResultantAnd(), SCIPgetVarCopy(), SCIPgetVarsAnd(), TRUE, valid, and vars.
|
static |
constraint parsing method of constraint handler
Definition at line 4800 of file cons_and.c.
References assert(), FALSE, NULL, nvars, propagate, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPcreateConsAnd(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPparseVarName(), SCIPparseVarsList(), SCIPreallocBufferArray, TRUE, and vars.
|
static |
constraint method of constraint handler which returns the variables (if possible)
Definition at line 4909 of file cons_and.c.
References assert(), BMScopyMemoryArray, FALSE, NULL, nvars, SCIP_OKAY, SCIPconsGetData(), TRUE, and vars.
|
static |
constraint method of constraint handler which returns the number of variable (if possible)
Definition at line 4930 of file cons_and.c.
References assert(), NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.
|
static |
constraint handler method which returns the permutation symmetry detection graph of a constraint
Definition at line 4947 of file cons_and.c.
References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_PERM.
|
static |
constraint handler method which returns the signed permutation symmetry detection graph of a constraint
Definition at line 4956 of file cons_and.c.
References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_SIGNPERM.
|
static |
Definition at line 4968 of file cons_and.c.
References assert(), FALSE, NULL, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPeventGetType().