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

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

SCIP Doxygen Documentation: prop_sync.c Source File

assert(data !=

);

assert(ntightened !=

);

assert(ntightenedint !=

);

( i = 0; i < data->nbnds; ++i )

assert(prop !=

);

assert(propdata !=

);

assert(prop !=

);

assert(data !=

);

data->bndvar =

;

data->bndval =

;

data->bndtype =

;

data->ntightened = 0;

data->ntightenedint = 0;

assert(prop !=

);

assert(data !=

);

assert(prop !=

);

assert(data !=

);

( ntightened > 0 )

*nchgbds += ntightened;

data->ntightened += ntightened;

data->ntightenedint += ntightened;

assert(prop !=

);

assert(data !=

);

( ntightened > 0 )

data->ntightened += ntightened;

data->ntightenedint += ntightenedint;

propExecSync, propdata) );

assert(prop !=

);

assert(prop !=

);

assert(data !=

);

( data->nbnds + 1 > data->bndsize )

data->bndsize = newsize;

data->bndvar[data->nbnds] = var;

data->bndval[data->nbnds] = val;

data->bndtype[data->nbnds] = bndtype;

( data->nbnds == 0 )

assert(prop !=

);

assert(data !=

);

data->ntightened;

assert(prop !=

);

assert(data !=

);

data->ntightenedint;

void SCIPenableConcurrentBoundStorage(SCIP *scip)

void SCIPdisableConcurrentBoundStorage(SCIP *scip)

helper functions for concurrent scip solvers

void SCIPverbMessage(SCIP *scip, SCIP_VERBLEVEL msgverblevel, FILE *file, const char *formatstr,...)

SCIP_Longint SCIPpropSyncGetNTightenedBnds(SCIP_PROP *prop)

SCIP_RETCODE SCIPpropSyncAddBndchg(SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)

SCIP_Longint SCIPpropSyncGetNTightenedIntBnds(SCIP_PROP *prop)

SCIP_RETCODE SCIPincludePropSync(SCIP *scip)

int SCIPcalcMemGrowSize(SCIP *scip, int num)

#define SCIPallocMemory(scip, ptr)

#define SCIPfreeMemory(scip, ptr)

#define SCIPreallocBlockMemoryArray(scip, ptr, oldnum, newnum)

#define SCIPfreeBlockMemoryArrayNull(scip, ptr, num)

SCIP_Bool SCIPinProbing(SCIP *scip)

void SCIPpropSetData(SCIP_PROP *prop, SCIP_PROPDATA *propdata)

SCIP_PROPDATA * SCIPpropGetData(SCIP_PROP *prop)

SCIP_RETCODE SCIPsetPropPresol(SCIP *scip, SCIP_PROP *prop, SCIP_DECL_PROPPRESOL((*proppresol)), int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming)

const char * SCIPpropGetName(SCIP_PROP *prop)

SCIP_RETCODE SCIPsetPropExit(SCIP *scip, SCIP_PROP *prop, SCIP_DECL_PROPEXIT((*propexit)))

void SCIPpropSetFreq(SCIP_PROP *prop, int freq)

SCIP_RETCODE SCIPsetPropInit(SCIP *scip, SCIP_PROP *prop, SCIP_DECL_PROPINIT((*propinit)))

SCIP_RETCODE SCIPsetPropFree(SCIP *scip, SCIP_PROP *prop, SCIP_DECL_PROPFREE((*propfree)))

SCIP_RETCODE SCIPincludePropBasic(SCIP *scip, SCIP_PROP **propptr, const char *name, const char *desc, int priority, int freq, SCIP_Bool delay, SCIP_PROPTIMING timingmask, SCIP_DECL_PROPEXEC((*propexec)), SCIP_PROPDATA *propdata)

SCIP_RETCODE SCIPvarGetProbvarBound(SCIP_VAR **var, SCIP_Real *bound, SCIP_BOUNDTYPE *boundtype)

SCIP_RETCODE SCIPtightenVarUbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)

SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)

SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)

SCIP_RETCODE SCIPtightenVarLbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)

memory allocation routines

#define PROP_PRESOL_MAXROUNDS

#define PROP_PRESOLTIMING

static SCIP_DECL_PROPFREE(propFreeSync)

static SCIP_DECL_PROPEXEC(propExecSync)

static SCIP_DECL_PROPINIT(propInitSync)

static SCIP_DECL_PROPEXIT(propExitSync)

static SCIP_RETCODE applyBoundChanges(SCIP *scip, SCIP_PROPDATA *data, SCIP_RESULT *result, int *ntightened, int *ntightenedint)

static SCIP_DECL_PROPPRESOL(propPresolSync)

#define PROP_PRESOL_PRIORITY

propagator for applying global bound changes that were communicated by other concurrent solvers

public methods for message output

public methods for propagators

public methods for problem variables

public methods for memory management

public methods for message handling

public methods for the probing mode

public methods for propagator plugins

public methods for SCIP variables

the type definitions for the SCIP parallel interface

int SCIPtpiGetThreadNum(void)

enum SCIP_BoundType SCIP_BOUNDTYPE

struct SCIP_PropData SCIP_PROPDATA

enum SCIP_Result SCIP_RESULT

enum SCIP_Retcode SCIP_RETCODE

@ SCIP_VARSTATUS_MULTAGGR

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