33#ifndef __SCIP_STRUCT_IMPLICS_H__
34#define __SCIP_STRUCT_IMPLICS_H__
common defines and data types used in all packages of SCIP
SCIP_CLIQUE ** cliques[2]
SCIP_HASHTABLE * hashtable
SCIP_HASHMAP * varidxtable
SCIP_Bool compsfromscratch
unsigned int eventsissued
SCIP_BOUNDTYPE * types[2]
type definitions for implications, variable bounds, and cliques
struct SCIP_Clique SCIP_CLIQUE
type definitions for LP management
enum SCIP_BoundType SCIP_BOUNDTYPE
type definitions for miscellaneous datastructures
struct SCIP_HashMap SCIP_HASHMAP
struct SCIP_HashTable SCIP_HASHTABLE
struct SCIP_DisjointSet SCIP_DISJOINTSET
type definitions for problem variables