|
cprover
|
collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events More...
Include dependency graph for pair_collection.cpp:Go to the source code of this file.
Macros | |
| #define | OUTPUT(s, fence, file, line, id, type) |
collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events
Definition in file pair_collection.cpp.
| #define OUTPUT | ( | s, | |
| fence, | |||
| file, | |||
| line, | |||
| id, | |||
| type ) |
Definition at line 22 of file pair_collection.cpp.