RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scip.zib.de/doc/html/sepa__impliedbounds_8c_source.php below:

SCIP Doxygen Documentation: sepa_impliedbounds.c Source File

57#define SEPA_NAME "impliedbounds" 58#define SEPA_DESC "implied bounds separator" 59#define SEPA_PRIORITY -50 61#define SEPA_MAXBOUNDDIST 1.0 62#define SEPA_USESSUBSCIP FALSE 63#define SEPA_DELAY FALSE 65#define RELCUTCOEFMAXRANGE 1.0 66#define DEFAULT_USETWOSIZECLIQUES TRUE 96

assert(ncuts !=

);

97

assert(cutoff !=

);

101

activity = val1 * solval1 + val2 * solval2;

155

assert(solvals !=

);

156

assert(fracvars !=

|| nfracs == 0);

157

assert(fracvals !=

|| nfracs == 0);

158

assert(cutoff !=

);

159

assert(ncuts !=

);

164

assert(sepadata !=

);

169 for

( i = 0; i < nfracs; i++ )

177

assert(fracvars !=

);

178

assert(fracvals !=

);

197 for

( j = 0; j < nimpl; j++ )

201

assert(implvars !=

);

202

assert(impltypes !=

);

203

assert(implbounds !=

);

221 SCIP_CALL

(

(

, sepa, 1.0, implvars[j], solval, (ub - implbounds[j]), fracvars[i], fracvals[i],

222

ub, cutoff, ncuts) );

239 SCIP_CALL

(

(

, sepa, -1.0, implvars[j], solval, (implbounds[j] - lb), fracvars[i], fracvals[i],

240

-lb, cutoff, ncuts) );

260 for

( j = 0; j < nimpl; j++ )

280 SCIP_CALL

(

(

, sepa, 1.0, implvars[j], solval, (implbounds[j] - ub), fracvars[i], fracvals[i],

281

implbounds[j], cutoff, ncuts) );

298 SCIP_CALL

(

(

, sepa, -1.0, implvars[j], solval, (lb - implbounds[j]), fracvars[i], fracvals[i],

299

-implbounds[j], cutoff, ncuts) );

308 if

( ! sepadata->usetwosizecliques )

321 for

( i = 0; i < ncliques; ++i )

338

assert(clqvars[0] != clqvars[1]);

360

rhs, cutoff, ncuts) );

380

assert(sepa !=

);

396

assert(sepa !=

);

401

assert(sepadata !=

);

425

assert(sepa !=

);

451 else if

( ncuts > 0 )

478

assert(sepa !=

);

496 for

( i = 0; i < nbinvars; ++i )

500

fracvars[nfracs] = vars[i];

501

fracvals[nfracs] = solvals[i];

518 else if

( ncuts > 0 )

546

assert(sepadata !=

);

551

sepaExeclpImpliedbounds, sepaExecsolImpliedbounds,

553

assert(sepa !=

);

561 "should violated inequalities for cliques with 2 variables be separated?"

,

#define SCIP_LONGINT_FORMAT

SCIP_RETCODE SCIPgetVarsData(SCIP *scip, SCIP_VAR ***vars, int *nvars, int *nbinvars, int *nintvars, int *nimplvars, int *ncontvars)

SCIP_RETCODE SCIPaddBoolParam(SCIP *scip, const char *name, const char *desc, SCIP_Bool *valueptr, SCIP_Bool isadvanced, SCIP_Bool defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)

SCIP_RETCODE SCIPgetLPBranchCands(SCIP *scip, SCIP_VAR ***lpcands, SCIP_Real **lpcandssol, SCIP_Real **lpcandsfrac, int *nlpcands, int *npriolpcands, int *nfracimplvars)

SCIP_RETCODE SCIPaddPoolCut(SCIP *scip, SCIP_ROW *row)

SCIP_Bool SCIPisEfficacious(SCIP *scip, SCIP_Real efficacy)

#define SCIPallocBufferArray(scip, ptr, num)

#define SCIPfreeBufferArray(scip, ptr)

#define SCIPfreeBlockMemory(scip, ptr)

#define SCIPallocBlockMemory(scip, ptr)

SCIP_RETCODE SCIPcacheRowExtensions(SCIP *scip, SCIP_ROW *row)

SCIP_RETCODE SCIPflushRowExtensions(SCIP *scip, SCIP_ROW *row)

SCIP_RETCODE SCIPaddVarToRow(SCIP *scip, SCIP_ROW *row, SCIP_VAR *var, SCIP_Real val)

SCIP_RETCODE SCIPprintRow(SCIP *scip, SCIP_ROW *row, FILE *file)

SCIP_RETCODE SCIPreleaseRow(SCIP *scip, SCIP_ROW **row)

SCIP_RETCODE SCIPcreateEmptyRowSepa(SCIP *scip, SCIP_ROW **row, SCIP_SEPA *sepa, const char *name, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool removable)

void SCIProwChgRank(SCIP_ROW *row, int rank)

SCIP_RETCODE SCIPincludeSepaBasic(SCIP *scip, SCIP_SEPA **sepa, const char *name, const char *desc, int priority, int freq, SCIP_Real maxbounddist, SCIP_Bool usessubscip, SCIP_Bool delay, SCIP_DECL_SEPAEXECLP((*sepaexeclp)), SCIP_DECL_SEPAEXECSOL((*sepaexecsol)), SCIP_SEPADATA *sepadata)

const char * SCIPsepaGetName(SCIP_SEPA *sepa)

SCIP_RETCODE SCIPsetSepaFree(SCIP *scip, SCIP_SEPA *sepa, SCIP_DECL_SEPAFREE((*sepafree)))

SCIP_SEPADATA * SCIPsepaGetData(SCIP_SEPA *sepa)

void SCIPsepaSetData(SCIP_SEPA *sepa, SCIP_SEPADATA *sepadata)

SCIP_RETCODE SCIPsetSepaCopy(SCIP *scip, SCIP_SEPA *sepa, SCIP_DECL_SEPACOPY((*sepacopy)))

SCIP_RETCODE SCIPgetSolVals(SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, SCIP_Real *vals)

SCIP_Real SCIPgetSolVal(SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)

SCIP_Longint SCIPgetNLPs(SCIP *scip)

SCIP_Real SCIPinfinity(SCIP *scip)

SCIP_Bool SCIPisGE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)

SCIP_Bool SCIPisLE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)

SCIP_Bool SCIPisFeasIntegral(SCIP *scip, SCIP_Real val)

SCIP_Real SCIPfeastol(SCIP *scip)

int SCIPvarGetNImpls(SCIP_VAR *var, SCIP_Bool varfixing)

SCIP_CLIQUE ** SCIPgetCliques(SCIP *scip)

SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)

SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)

SCIP_VAR ** SCIPvarGetImplVars(SCIP_VAR *var, SCIP_Bool varfixing)

int SCIPvarGetProbindex(SCIP_VAR *var)

SCIP_RETCODE SCIPcleanupCliques(SCIP *scip, SCIP_Bool *infeasible)

SCIP_Real * SCIPvarGetImplBounds(SCIP_VAR *var, SCIP_Bool varfixing)

int SCIPgetNCliques(SCIP *scip)

SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)

SCIP_RETCODE SCIPgetVarSols(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_Real *vals)

SCIP_BOUNDTYPE * SCIPvarGetImplTypes(SCIP_VAR *var, SCIP_Bool varfixing)

SCIP_RETCODE SCIPincludeSepaImpliedbounds(SCIP *scip)

int SCIPsnprintf(char *t, int len, const char *s,...)

SCIP_VAR ** SCIPcliqueGetVars(SCIP_CLIQUE *clique)

int SCIPcliqueGetNVars(SCIP_CLIQUE *clique)

SCIP_Bool * SCIPcliqueGetValues(SCIP_CLIQUE *clique)

SCIP_Bool SCIPcliqueIsEquation(SCIP_CLIQUE *clique)

memory allocation routines

public methods for implications, variable bounds, and cliques

public methods for LP management

public methods for message output

public data structures and miscellaneous methods

public methods for separators

public methods for problem variables

public methods for branching rule plugins and branching

public methods for cuts and aggregation rows

public methods for the LP relaxation, rows and columns

public methods for memory management

public methods for message handling

public methods for numerical tolerances

public methods for SCIP parameter handling

public methods for global and local (sub)problems

public methods for separator plugins

public methods for solutions

public methods for querying solving statistics

public methods for SCIP variables

static SCIP_RETCODE separateCuts(SCIP *scip, SCIP_SEPA *sepa, SCIP_SOL *sol, SCIP_Real *solvals, SCIP_VAR **fracvars, SCIP_Real *fracvals, int nfracs, SCIP_Bool *cutoff, int *ncuts)

static SCIP_RETCODE addCut(SCIP *scip, SCIP_SEPA *sepa, SCIP_Real val1, SCIP_VAR *var1, SCIP_Real solval1, SCIP_Real val2, SCIP_VAR *var2, SCIP_Real solval2, SCIP_Real rhs, SCIP_Bool *cutoff, int *ncuts)

static SCIP_DECL_SEPAFREE(sepaFreeImpliedbounds)

#define DEFAULT_USETWOSIZECLIQUES

#define RELCUTCOEFMAXRANGE

#define SEPA_MAXBOUNDDIST

static SCIP_DECL_SEPACOPY(sepaCopyImpliedbounds)

static SCIP_DECL_SEPAEXECLP(sepaExeclpImpliedbounds)

static SCIP_DECL_SEPAEXECSOL(sepaExecsolImpliedbounds)

enum SCIP_BoundType SCIP_BOUNDTYPE

enum SCIP_Retcode SCIP_RETCODE

struct SCIP_SepaData SCIP_SEPADATA

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4