struct_cutpool.h File Reference Detailed Descriptiondatastructures for storing cuts in a cut pool Definition in file struct_cutpool.h. #include "scip/def.h" #include "scip/type_clock.h" #include "scip/type_misc.h" #include "scip/type_lp.h" #include "scip/type_cutpool.h" |