CBMC
pair_collection.cpp File Reference

collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events More...

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

Go to the source code of this file.

Macros

#define OUTPUT(s, fence, file, line, id, type)    s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n'
 

Detailed Description

collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events

Definition in file pair_collection.cpp.

Macro Definition Documentation

◆ OUTPUT

#define OUTPUT (   s,
  fence,
  file,
  line,
  id,
  type 
)     s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n'

Definition at line 22 of file pair_collection.cpp.