Scippy

SCIP

Solving Constraint Integer Programs

type_vbc.h File Reference

Detailed Description

type definitions for VBC Tool output

Author
Tobias Achterberg

Definition in file type_vbc.h.

Go to the source code of this file.

Typedefs

typedef enum SCIP_VBCColor SCIP_VBCCOLOR
 
typedef struct SCIP_Vbc SCIP_VBC
 

Enumerations

enum  SCIP_VBCColor {
  SCIP_VBCCOLOR_UNSOLVED = 3,
  SCIP_VBCCOLOR_SOLVED = 2,
  SCIP_VBCCOLOR_CUTOFF = 4,
  SCIP_VBCCOLOR_CONFLICT = 15,
  SCIP_VBCCOLOR_MARKREPROP = 11,
  SCIP_VBCCOLOR_REPROP = 12,
  SCIP_VBCCOLOR_SOLUTION = 14,
  SCIP_VBCCOLOR_NONE = -1
}
 

Typedef Documentation

Definition at line 63 of file type_vbc.h.

typedef struct SCIP_Vbc SCIP_VBC

VBC Tool data structure

Definition at line 66 of file type_vbc.h.

Enumeration Type Documentation

node colors in VBC output: 1: indian red 2: green 3: light gray 4: red 5: blue 6: black 7: light pink 8: cyan 9: dark green 10: brown 11: orange 12: yellow 13: pink 14: purple 15: light blue 16: muddy green 17: white 18: light grey 19: light grey 20: light grey

Enumerator:
SCIP_VBCCOLOR_UNSOLVED 

color for newly created, unsolved nodes

SCIP_VBCCOLOR_SOLVED 

color for solved nodes

SCIP_VBCCOLOR_CUTOFF 

color for nodes that were cut off

SCIP_VBCCOLOR_CONFLICT 

color for nodes where a conflict constraint was found

SCIP_VBCCOLOR_MARKREPROP 

color for nodes that were marked to be repropagated

SCIP_VBCCOLOR_REPROP 

color for repropagated nodes

SCIP_VBCCOLOR_SOLUTION 

color for solved nodes, where a solution has been found

SCIP_VBCCOLOR_NONE 

color should not be changed

Definition at line 52 of file type_vbc.h.