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_Bool *	SCIPcliqueGetValues (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

clique	clique data structure
var	variable to search for
value	value 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

clique	clique data structure
var	variable to remove from the clique
value	value of the variable in the clique

int SCIPcliqueGetNVars

(

SCIP_CLIQUE *

clique

)

gets number of variables in the cliques

Parameters

clique

clique data structure

SCIP_VAR** SCIPcliqueGetVars

(

SCIP_CLIQUE *

clique

)

gets array of active problem variables in the cliques

Parameters

clique

clique 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

clique

clique data structure

int SCIPcliqueGetId

(

SCIP_CLIQUE *

clique

)

gets unique identifier of the clique

Parameters

clique

clique data structure

SCIP_Bool SCIPcliqueIsCleanedUp

(

SCIP_CLIQUE *

clique

)

returns whether the given clique is cleaned up

Parameters

clique

clique data structure

SCIP_Bool SCIPcliqueIsEquation

(

SCIP_CLIQUE *

clique

)

return whether the given clique is an equation

Parameters

clique

clique data structure