struct_conflict.h File Reference

Detailed Description

datastructures for conflict analysis

Author

Tobias Achterberg

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