cprover
|
#include <event_graph.h>
Public Member Functions | |
delayt (event_idt _first) | |
delayt (event_idt _first, event_idt _second) | |
delayt (event_idt _first, event_idt _second, bool _is_po) | |
bool | operator== (const delayt &other) const |
bool | operator< (const delayt &other) const |
Public Attributes | |
event_idt | first |
event_idt | second |
bool | is_po |
Definition at line 165 of file event_graph.h.
|
inlineexplicit |
Definition at line 171 of file event_graph.h.
Definition at line 176 of file event_graph.h.
|
inline |
Definition at line 181 of file event_graph.h.
|
inline |
Definition at line 192 of file event_graph.h.
|
inline |
Definition at line 186 of file event_graph.h.
event_idt event_grapht::critical_cyclet::delayt::first |
Definition at line 167 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().
bool event_grapht::critical_cyclet::delayt::is_po |
Definition at line 169 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().
event_idt event_grapht::critical_cyclet::delayt::second |
Definition at line 168 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().