SCIP_IIS Struct Reference

Detailed Description

IIS

Definition at line 58 of file struct_iisfinder.h.

#include <struct_iisfinder.h>

Data Fields
SCIP *	subscip
SCIP_HASHMAP *	varsmap
SCIP_HASHMAP *	conssmap
SCIP_RANDNUMGEN *	randnumgen
SCIP_CLOCK *	iistime
int	niismessagecalls
SCIP_Longint	nnodes
SCIP_Bool	infeasible
SCIP_Bool	irreducible

Field Documentation

subscip

SCIP* SCIP_IIS::subscip

The subscip that stores the IIS

Definition at line 60 of file struct_iisfinder.h.

Referenced by createSubscipIIS(), SCIPiisGenerate(), and SCIPiisGetSubscip().

varsmap

SCIP_HASHMAP* SCIP_IIS::varsmap

The variable hashmap from the original SCIP to IIS subscip

Definition at line 61 of file struct_iisfinder.h.

Referenced by createSubscipIIS().

conssmap

SCIP_HASHMAP* SCIP_IIS::conssmap

The constraints hashmap from the original SCIP to IIS subscip

Definition at line 62 of file struct_iisfinder.h.

Referenced by createSubscipIIS().

randnumgen

SCIP_RANDNUMGEN* SCIP_IIS::randnumgen

random number generator

Definition at line 63 of file struct_iisfinder.h.

Referenced by SCIPiisGetRandnumgen().

iistime

SCIP_CLOCK* SCIP_IIS::iistime

IIS total execution time

Definition at line 64 of file struct_iisfinder.h.

Referenced by createSubscipIIS(), SCIPiisGenerate(), and SCIPiisGetTime().

niismessagecalls

int SCIP_IIS::niismessagecalls

The number of times an iis info message has been displayed

Definition at line 65 of file struct_iisfinder.h.

Referenced by SCIPiisfinderInfoMessage().

nnodes

SCIP_Longint SCIP_IIS::nnodes

The number of nodes used over all IIS solves

Definition at line 66 of file struct_iisfinder.h.

Referenced by SCIPiisAddNNodes(), SCIPiisGenerate(), and SCIPiisGetNNodes().

infeasible

SCIP_Bool SCIP_IIS::infeasible

Whether the subscip is currently infeasible, i.e., a valid IS

Definition at line 67 of file struct_iisfinder.h.

Referenced by SCIPiisfinderInfoMessage(), SCIPiisGenerate(), SCIPiisIsSubscipInfeasible(), and SCIPiisSetSubscipInfeasible().

irreducible

SCIP_Bool SCIP_IIS::irreducible

Whether the subscip is an irreducible infeasible subsystem, i.e., an IIS

Definition at line 68 of file struct_iisfinder.h.

Referenced by SCIPiisGenerate(), SCIPiisIsSubscipIrreducible(), and SCIPiisSetSubscipIrreducible().