struct_conflict.h File Reference
Detailed Description
datastructures for conflict analysis
Definition in file struct_conflict.h.
#include "scip/def.h"
#include "scip/type_clock.h"
#include "scip/type_misc.h"
#include "scip/type_var.h"
#include "scip/type_conflict.h"
#include "lpi/type_lpi.h"
Go to the source code of this file.
Data Structures | |
struct | SCIP_Conflicthdlr |
struct | SCIP_ConflictSet |
struct | SCIP_ProofSet |
struct | SCIP_LPBdChgs |
struct | SCIP_Conflict |