33#ifndef __SCIP_STRUCT_CONFLICT_H__
34#define __SCIP_STRUCT_CONFLICT_H__
common defines and data types used in all packages of SCIP
unsigned int hasrelaxonlyvar
SCIP_BDCHGINFO ** bdchginfos
SCIP_CONFTYPE conflicttype
SCIP_BDCHGINFO * confbdchginfo
unsigned int usescutoffbound
SCIP_Longint ninflpiterations
SCIP_Real * conflictsetscores
SCIP_Longint ndualproofsbndglobal
SCIP_Longint ndualproofsinfsuccess
SCIP_Longint nappliedglbconss
SCIP_Longint nsbiterations
SCIP_Longint npropconfconss
SCIP_Longint ninflpconfconss
SCIP_Longint npseudoreconvliterals
SCIP_Longint npseudosuccess
SCIP_Longint ninflpconfliterals
SCIP_CLOCK * propanalyzetime
SCIP_Longint nboundlpconfliterals
SCIP_PROOFSET ** proofsets
SCIP_Longint ndualproofsinflocal
SCIP_Longint npseudoconfconss
SCIP_Longint nboundlpcalls
SCIP_PQUEUE * forcedbdchgqueue
SCIP_Longint nappliedglbliterals
SCIP_Longint nboundlpreconvliterals
SCIP_CONFLICTSET ** conflictsets
SCIP_Longint npseudocalls
SCIP_Longint ninflpreconvconss
SCIP_Longint dualproofsbndnnonzeros
SCIP_CLOCK * pseudoanalyzetime
SCIP_Longint nsbconfliterals
SCIP_CLOCK * inflpanalyzetime
SCIP_Longint nboundlpiterations
SCIP_Longint npseudoreconvconss
SCIP_Longint npseudoconfliterals
SCIP_Longint nsbreconvconss
SCIP_Longint nsbreconvliterals
SCIP_Longint npropsuccess
SCIP_Longint ndualproofsinfglobal
SCIP_Longint nappliedlocconss
SCIP_Longint nsbconfconss
SCIP_Longint ninflpsuccess
SCIP_CLOCK * sbanalyzetime
SCIP_Longint nboundlpreconvconss
SCIP_Longint ndualproofsbndsuccess
SCIP_Longint dualproofsinfnnonzeros
SCIP_Longint nboundlpconfconss
SCIP_Longint npropreconvliterals
SCIP_CLOCK * boundlpanalyzetime
SCIP_Longint nboundlpsuccess
SCIP_BDCHGINFO ** tmpbdchginfos
SCIP_Longint npropconfliterals
SCIP_Longint ninflpreconvliterals
SCIP_CONFLICTSET * conflictset
SCIP_Longint ndualproofsbndlocal
SCIP_Longint nappliedlocliterals
SCIP_Longint npropreconvconss
SCIP_CONFLICTHDLRDATA * conflicthdlrdata
SCIP_DECL_CONFLICTINIT((*conflictinit))
SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))
SCIP_DECL_CONFLICTFREE((*conflictfree))
SCIP_DECL_CONFLICTEXEC((*conflictexec))
SCIP_CLOCK * conflicttime
SCIP_DECL_CONFLICTEXIT((*conflictexit))
SCIP_DECL_CONFLICTCOPY((*conflictcopy))
SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol))
SCIP_CONFTYPE conflicttype
type definitions for clocks and timing issues
struct SCIP_Clock SCIP_CLOCK
type definitions for conflict analysis
struct SCIP_ConflictSet SCIP_CONFLICTSET
struct SCIP_ProofSet SCIP_PROOFSET
enum SCIP_ConflictType SCIP_CONFTYPE
struct SCIP_ConflicthdlrData SCIP_CONFLICTHDLRDATA
type definitions for specific LP solvers interface
type definitions for miscellaneous datastructures
struct SCIP_PQueue SCIP_PQUEUE
type definitions for problem variables
struct SCIP_BdChgInfo SCIP_BDCHGINFO