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

typedef enum SCIP_VBCColor SCIP_VBCCOLOR

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

enum SCIP_VBCColor

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.