pub_iisfinder.h File Reference

Detailed Description

public methods for irreducible infeasible subsystems (IIS) finders

Author

Mark Turner

Definition in file pub_iisfinder.h.

#include "scip/def.h"
#include "scip/type_misc.h"
#include "scip/type_iisfinder.h"
#include "scip/type_cons.h"
#include "scip/type_var.h"

Go to the source code of this file.

Functions
const char *	SCIPiisfinderGetName (SCIP_IISFINDER *iisfinder)
SCIP_IISFINDERDATA *	SCIPiisfinderGetData (SCIP_IISFINDER *iisfinder)
const char *	SCIPiisfinderGetDesc (SCIP_IISFINDER *iisfinder)
int	SCIPiisfinderGetPriority (SCIP_IISFINDER *iisfinder)
void	SCIPiisfinderSetData (SCIP_IISFINDER *iisfinder, SCIP_IISFINDERDATA *iisfinderdata)
SCIP_Real	SCIPiisfinderGetTime (SCIP_IISFINDER *iisfinder)
void	SCIPiisfinderInfoMessage (SCIP_IIS *iis, SCIP_Bool printheaders)
SCIP_Real	SCIPiisGetTime (SCIP_IIS *iis)
SCIP_Bool	SCIPiisIsSubscipInfeasible (SCIP_IIS *iis)
SCIP_Bool	SCIPiisIsSubscipIrreducible (SCIP_IIS *iis)
SCIP_Longint	SCIPiisGetNNodes (SCIP_IIS *iis)
void	SCIPiisSetSubscipInfeasible (SCIP_IIS *iis, SCIP_Bool infeasible)
void	SCIPiisSetSubscipIrreducible (SCIP_IIS *iis, SCIP_Bool irreducible)
void	SCIPiisAddNNodes (SCIP_IIS *iis, SCIP_Longint nnodes)
SCIP_RANDNUMGEN *	SCIPiisGetRandnumgen (SCIP_IIS *iis)
SCIP *	SCIPiisGetSubscip (SCIP_IIS *iis)
SCIP_CONS *	SCIPiisGetSubscipCons (SCIP_IIS *iis, SCIP_CONS *cons)
SCIP_VAR *	SCIPiisGetSubscipVar (SCIP_IIS *iis, SCIP_VAR *var)
SCIP_HASHMAP *	SCIPiisGetVarsmap (SCIP_IIS *iis)
SCIP_HASHMAP *	SCIPiisGetConssmap (SCIP_IIS *iis)
	SCIP_DECL_SORTPTRCOMP (SCIPiisfinderComp)