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.