SCIP Doxygen Documentation
Loading...
Searching...
No Matches
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

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

Definition at line 1081 of file implics.c.

References assert(), i, NULL, SCIP_Bool, SCIPvarGetIndex(), var, and varidx.

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

Definition at line 1141 of file implics.c.

References SCIP_Bool, SCIPcliqueSearchVar(), and var.

Referenced by addRltTerm(), and getBinaryProductExpr().

◆ SCIPcliqueGetNVars()

◆ SCIPcliqueGetVars()

◆ SCIPcliqueGetValues()

SCIP_Bool * SCIPcliqueGetValues ( SCIP_CLIQUE * clique)

◆ SCIPcliqueGetId()

unsigned int SCIPcliqueGetId ( SCIP_CLIQUE * clique)

gets unique identifier of the clique

Parameters
cliqueclique data structure

Definition at line 3402 of file implics.c.

References assert(), and NULL.

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

◆ SCIPcliqueGetIndex()

int SCIPcliqueGetIndex ( SCIP_CLIQUE * clique)

gets index of the clique in the clique table

Parameters
cliqueclique data structure

Definition at line 3416 of file implics.c.

References assert(), 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
cliqueclique data structure

Definition at line 3426 of file implics.c.

References assert(), NULL, and SCIP_Bool.

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

◆ SCIPcliqueIsEquation()

SCIP_Bool SCIPcliqueIsEquation ( SCIP_CLIQUE * clique)

return whether the given clique is an equation

Parameters
cliqueclique data structure

Definition at line 3436 of file implics.c.

References assert(), NULL, and SCIP_Bool.

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