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
SCIP_EXPORT int	SCIPcliqueSearchVar (SCIP_CLIQUE clique, SCIP_VAR var, SCIP_Bool value)

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

SCIP_EXPORT int	SCIPcliqueGetNVars (SCIP_CLIQUE *clique)

SCIP_EXPORT SCIP_VAR **	SCIPcliqueGetVars (SCIP_CLIQUE *clique)

SCIP_EXPORT SCIP_Bool *	SCIPcliqueGetValues (SCIP_CLIQUE *clique)

SCIP_EXPORT unsigned int	SCIPcliqueGetId (SCIP_CLIQUE *clique)

SCIP_EXPORT int	SCIPcliqueGetIndex (SCIP_CLIQUE *clique)

SCIP_EXPORT SCIP_Bool	SCIPcliqueIsCleanedUp (SCIP_CLIQUE *clique)

SCIP_EXPORT SCIP_Bool	SCIPcliqueIsEquation (SCIP_CLIQUE *clique)

Function Documentation

◆ SCIPcliqueSearchVar()

SCIP_EXPORT 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 1055 of file implics.c.

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

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

◆ SCIPcliqueHasVar()

SCIP_EXPORT 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 1115 of file implics.c.

References SCIPcliqueSearchVar().

◆ SCIPcliqueGetNVars()

SCIP_EXPORT int SCIPcliqueGetNVars ( SCIP_CLIQUE * clique )

gets number of variables in the cliques

Parameters

clique clique data structure

Definition at line 3341 of file implics.c.

References NULL, and SCIP_Clique::nvars.

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

◆ SCIPcliqueGetVars()

SCIP_EXPORT SCIP_VAR** SCIPcliqueGetVars ( SCIP_CLIQUE * clique )

gets array of active problem variables in the cliques

Parameters

clique clique data structure

Definition at line 3351 of file implics.c.

References NULL, and SCIP_Clique::vars.

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

◆ SCIPcliqueGetValues()

SCIP_EXPORT 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 3363 of file implics.c.

References NULL, and SCIP_Clique::values.

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

◆ SCIPcliqueGetId()

SCIP_EXPORT unsigned int SCIPcliqueGetId ( SCIP_CLIQUE * clique )

gets unique identifier of the clique

Parameters

clique clique data structure

Definition at line 3373 of file implics.c.

References SCIP_Clique::id, and NULL.

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

◆ SCIPcliqueGetIndex()

SCIP_EXPORT int SCIPcliqueGetIndex ( SCIP_CLIQUE * clique )

gets index of the clique in the clique table

Parameters

clique clique data structure

Definition at line 3387 of file implics.c.

References SCIP_Clique::index, and NULL.

Referenced by dfs(), and tarjan().

◆ SCIPcliqueIsCleanedUp()

SCIP_EXPORT 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 3397 of file implics.c.

References NULL, and SCIP_Clique::startcleanup.

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

◆ SCIPcliqueIsEquation()

SCIP_EXPORT SCIP_Bool SCIPcliqueIsEquation ( SCIP_CLIQUE * clique )

return whether the given clique is an equation

Parameters

clique clique data structure

Definition at line 3407 of file implics.c.

References SCIP_Clique::equation, NULL, and SCIP_Bool.

Referenced by extractCycle(), SCIPcopyImplicationsCliques(), and separateCuts().