Scippy

SCIP

Solving Constraint Integer Programs

type_conflictstore.h File Reference

Detailed Description

type definitions for conflict store

Author
Jakob Witzig

Definition in file type_conflictstore.h.

Go to the source code of this file.

Typedefs

typedef struct SCIP_ConflictStore SCIP_CONFLICTSTORE
 

Typedef Documentation

◆ SCIP_CONFLICTSTORE

storage for conflicts

Definition at line 30 of file type_conflictstore.h.