Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

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)

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

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

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

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 1214 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 2362 of file implics.c.

References NULL, and SCIP_Clique::nvars.

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

SCIP_VAR** SCIPcliqueGetVars ( SCIP_CLIQUE * clique )

gets array of active problem variables in the cliques

Parameters

clique clique data structure

Definition at line 2372 of file implics.c.

References NULL, and SCIP_Clique::vars.

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

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

References NULL, and SCIP_Clique::values.

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

int SCIPcliqueGetId ( SCIP_CLIQUE * clique )

gets unique identifier of the clique

Parameters

clique clique data structure

Definition at line 2394 of file implics.c.

References SCIP_Clique::id, and NULL.

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