Scippy

SCIP

Solving Constraint Integer Programs

type_visual.h File Reference

Detailed Description

type definitions for output for visualization tools (VBC, BAK)

Author
Tobias Achterberg
Marc Pfetsch

Definition in file type_visual.h.

Go to the source code of this file.

Typedefs

typedef enum SCIP_VBCColor SCIP_VBCCOLOR
 
typedef struct SCIP_Visual SCIP_VISUAL
 

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

◆ SCIP_VBCCOLOR

Definition at line 73 of file type_visual.h.

◆ SCIP_VISUAL

typedef struct SCIP_Visual SCIP_VISUAL

VBC Tool data structure

Definition at line 76 of file type_visual.h.

Enumeration Type Documentation

◆ 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 62 of file type_visual.h.