Scippy

SCIP

Solving Constraint Integer Programs

pub_implics.h File Reference

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_BoolSCIPcliqueGetValues (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
cliqueclique data structure
varvariable to search for
valuevalue of the variable in the clique

Definition at line 1054 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
cliqueclique data structure
varvariable to remove from the clique
valuevalue of the variable in the clique

Definition at line 1114 of file implics.c.

References SCIPcliqueSearchVar().

◆ SCIPcliqueGetNVars()

◆ SCIPcliqueGetVars()

◆ SCIPcliqueGetValues()

SCIP_EXPORT SCIP_Bool* SCIPcliqueGetValues ( SCIP_CLIQUE clique)

◆ SCIPcliqueGetId()

SCIP_EXPORT unsigned int SCIPcliqueGetId ( SCIP_CLIQUE clique)

gets unique identifier of the clique

Parameters
cliqueclique data structure

Definition at line 3365 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
cliqueclique data structure

Definition at line 3379 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
cliqueclique data structure

Definition at line 3389 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
cliqueclique data structure

Definition at line 3399 of file implics.c.

References SCIP_Clique::equation, NULL, and SCIP_Bool.

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