Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

public methods for implications, variable bounds, and cliques

Author: Tobias Achterberg

Definition in file pub_implics.h.

#include "scip/def.h"
#include "scip/type_var.h"
#include "scip/type_implics.h"

Go to the source code of this file.

Functions
int	SCIPcliqueSearchVar (SCIP_CLIQUE clique, SCIP_VAR var, SCIP_Bool value)

SCIP_Bool	SCIPcliqueHasVar (SCIP_CLIQUE clique, SCIP_VAR var, SCIP_Bool value)

int	SCIPcliqueGetNVars (SCIP_CLIQUE *clique)

SCIP_VAR **	SCIPcliqueGetVars (SCIP_CLIQUE *clique)

SCIP_Bool *	SCIPcliqueGetValues (SCIP_CLIQUE *clique)

int	SCIPcliqueGetId (SCIP_CLIQUE *clique)

SCIP_Bool	SCIPcliqueIsCleanedUp (SCIP_CLIQUE *clique)

SCIP_Bool	SCIPcliqueIsEquation (SCIP_CLIQUE *clique)

Function Documentation

int SCIPcliqueSearchVar	(	SCIP_CLIQUE *	clique,
		SCIP_VAR *	var,
		SCIP_Bool	value
	)

returns the position of the given variable/value pair in the clique; returns -1 if variable/value pair is not member of the clique

Parameters

clique	clique data structure
var	variable to search for
value	value of the variable in the clique

Definition at line 1065 of file implics.c.

References NULL, SCIP_Clique::nvars, SCIPvarGetIndex(), SCIP_Clique::values, and SCIP_Clique::vars.

Referenced by SCIPcliqueDelVar(), SCIPcliqueHasVar(), and SCIPcliquelistCheck().

SCIP_Bool SCIPcliqueHasVar	(	SCIP_CLIQUE *	clique,
		SCIP_VAR *	var,
		SCIP_Bool	value
	)

returns whether the given variable/value pair is member of the given clique

Parameters

clique	clique data structure
var	variable to remove from the clique
value	value of the variable in the clique

Definition at line 1125 of file implics.c.

References SCIPcliqueSearchVar().

int SCIPcliqueGetNVars ( SCIP_CLIQUE * clique )

gets number of variables in the cliques

Parameters

clique clique data structure

Definition at line 3101 of file implics.c.

References NULL, and SCIP_Clique::nvars.

Referenced by addGLSCliques(), addNextLevelCliques(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), and tcliquegraphConstructCliqueTable().

SCIP_VAR** SCIPcliqueGetVars ( SCIP_CLIQUE * clique )

gets array of active problem variables in the cliques

Parameters

clique clique data structure

Definition at line 3111 of file implics.c.

References NULL, and SCIP_Clique::vars.

Referenced by addGLSCliques(), addNextLevelCliques(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), and tcliquegraphConstructCliqueTable().

SCIP_Bool* SCIPcliqueGetValues ( SCIP_CLIQUE * clique )

gets array of values of active problem variables in the cliques, i.e. whether the variable is fixed to FALSE or to TRUE in the clique

Parameters

clique clique data structure

Definition at line 3123 of file implics.c.

References NULL, and SCIP_Clique::values.

Referenced by addGLSCliques(), addNextLevelCliques(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), and tcliquegraphConstructCliqueTable().

int SCIPcliqueGetId ( SCIP_CLIQUE * clique )

gets unique identifier of the clique

Parameters

clique clique data structure

Definition at line 3133 of file implics.c.

References SCIP_Clique::id, and NULL.

Referenced by SCIP_DECL_HASHKEYEQ(), SCIPcliquelistsHaveCommonClique(), and tcliquegraphAddNode().

SCIP_Bool SCIPcliqueIsCleanedUp ( SCIP_CLIQUE * clique )

returns whether the given clique is cleaned up

gets unique identifier of the clique

Parameters

clique clique data structure

Definition at line 3143 of file implics.c.

References NULL, and SCIP_Clique::startcleanup.

Referenced by cliqueCleanup(), cliquetableMarkCliqueForCleanup(), SCIPcliquetableCleanup(), and SCIPvarGetImplRedcost().

SCIP_Bool SCIPcliqueIsEquation ( SCIP_CLIQUE * clique )

return whether the given clique is an equation

Parameters

clique clique data structure

Definition at line 3153 of file implics.c.

References SCIP_Clique::equation, NULL, and SCIP_Bool.

Referenced by SCIPcopyImplicationsCliques(), and separateCuts().