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 164 of file event_graph.h.
|
inlineexplicit |
Definition at line 170 of file event_graph.h.
Definition at line 175 of file event_graph.h.
|
inline |
Definition at line 180 of file event_graph.h.
|
inline |
Definition at line 191 of file event_graph.h.
|
inline |
Definition at line 185 of file event_graph.h.
event_idt event_grapht::critical_cyclet::delayt::first |
Definition at line 166 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().
bool event_grapht::critical_cyclet::delayt::is_po |
Definition at line 168 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().
event_idt event_grapht::critical_cyclet::delayt::second |
Definition at line 167 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), and operator==().