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

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)
 
int SCIPcliqueGetId (SCIP_CLIQUE *clique)
 
SCIP_Bool SCIPcliqueIsCleanedUp (SCIP_CLIQUE *clique)
 
SCIP_Bool SCIPcliqueIsEquation (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
cliqueclique data structure
varvariable to search for
valuevalue of the variable in the clique
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
int SCIPcliqueGetNVars ( SCIP_CLIQUE clique)

gets number of variables in the cliques

Parameters
cliqueclique data structure
SCIP_VAR** SCIPcliqueGetVars ( SCIP_CLIQUE clique)

gets array of active problem variables in the cliques

Parameters
cliqueclique data structure
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
cliqueclique data structure
int SCIPcliqueGetId ( SCIP_CLIQUE clique)

gets unique identifier of the clique

Parameters
cliqueclique data structure
SCIP_Bool SCIPcliqueIsCleanedUp ( SCIP_CLIQUE clique)

returns whether the given clique is cleaned up

Parameters
cliqueclique data structure
SCIP_Bool SCIPcliqueIsEquation ( SCIP_CLIQUE clique)

return whether the given clique is an equation

Parameters
cliqueclique data structure