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