cprover
Loading...
Searching...
No Matches
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)
 

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 )
Value:
s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n'
Definition kdev_t.h:19

Definition at line 22 of file pair_collection.cpp.