Scippy

SCIP

Solving Constraint Integer Programs

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