CBMC
event_graph.cpp File Reference

graph of abstract events More...

#include "event_graph.h"
#include <util/message.h>
#include <fstream>
+ Include dependency graph for event_graph.cpp:

Go to the source code of this file.

Macros

#define NB_COLOURS   14
 
#define print_colour(u)   colour_map[u%NB_COLOURS]
 

Variables

static const char * colour_map [14]
 

Detailed Description

graph of abstract events

Definition in file event_graph.cpp.

Macro Definition Documentation

◆ NB_COLOURS

#define NB_COLOURS   14

Definition at line 21 of file event_graph.cpp.

◆ print_colour

#define print_colour (   u)    colour_map[u%NB_COLOURS]

Definition at line 26 of file event_graph.cpp.

Variable Documentation

◆ colour_map

const char* colour_map[14]
static
Initial value:
=
{"red", "blue", "black", "green", "yellow",
"orange", "blueviolet", "cyan", "cadetblue", "magenta", "palegreen",
"deeppink", "indigo", "olivedrab"}

Definition at line 22 of file event_graph.cpp.