SCIP
Solving Constraint Integer Programs
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
type_tpi_none.h File Reference
Detailed Description
the type definitions for the the locks and condition variables for the dummy implementation of the TPI
Definition in file type_tpi_none.h.