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)

unsigned int	SCIPcliqueGetId (SCIP_CLIQUE *clique)

int	SCIPcliqueGetIndex (SCIP_CLIQUE *clique)

SCIP_Bool	SCIPcliqueIsCleanedUp (SCIP_CLIQUE *clique)

SCIP_Bool	SCIPcliqueIsEquation (SCIP_CLIQUE *clique)

Function Documentation

◆ SCIPcliqueSearchVar()

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 1081 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_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 1141 of file implics.c.

References SCIPcliqueSearchVar().

Referenced by addRltTerm(), and getBinaryProductExpr().

◆ SCIPcliqueGetNVars()

int SCIPcliqueGetNVars ( SCIP_CLIQUE * clique )

gets number of variables in the cliques

Parameters

clique clique data structure

Definition at line 3370 of file implics.c.

References NULL, and SCIP_Clique::nvars.

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

◆ SCIPcliqueGetVars()

SCIP_VAR** SCIPcliqueGetVars ( SCIP_CLIQUE * clique )

gets array of active problem variables in the cliques

Parameters

clique clique data structure

Definition at line 3380 of file implics.c.

References NULL, and SCIP_Clique::vars.

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

◆ SCIPcliqueGetValues()

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 3392 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()

unsigned int SCIPcliqueGetId ( SCIP_CLIQUE * clique )

gets unique identifier of the clique

Parameters

clique clique data structure

Definition at line 3402 of file implics.c.

References SCIP_Clique::id, and NULL.

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

◆ SCIPcliqueGetIndex()

int SCIPcliqueGetIndex ( SCIP_CLIQUE * clique )

gets index of the clique in the clique table

Parameters

clique clique data structure

Definition at line 3416 of file implics.c.

References SCIP_Clique::index, and NULL.

Referenced by createConflictGraphSST(), dfs(), and tarjan().

◆ SCIPcliqueIsCleanedUp()

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

References NULL, and SCIP_Clique::startcleanup.

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

◆ SCIPcliqueIsEquation()

SCIP_Bool SCIPcliqueIsEquation ( SCIP_CLIQUE * clique )

return whether the given clique is an equation

Parameters

clique clique data structure

Definition at line 3436 of file implics.c.

References SCIP_Clique::equation, NULL, and SCIP_Bool.

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