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 128 of file event_graph.h.
|
inlineexplicit |
Definition at line 134 of file event_graph.h.
Definition at line 139 of file event_graph.h.
|
inline |
Definition at line 144 of file event_graph.h.
|
inline |
Definition at line 155 of file event_graph.h.
|
inline |
Definition at line 149 of file event_graph.h.
event_idt event_grapht::critical_cyclet::delayt::first |
Definition at line 130 of file event_graph.h.
Referenced by instrumentert::cost(), const_graph_visitort::CT(), const_graph_visitort::CT_not_powr(), operator<(), operator==(), cycles_visitort::po_edges(), and const_graph_visitort::PT().
bool event_grapht::critical_cyclet::delayt::is_po |
Definition at line 132 of file event_graph.h.
Referenced by instrumentert::cost(), operator<(), operator==(), and cycles_visitort::po_edges().
event_idt event_grapht::critical_cyclet::delayt::second |
Definition at line 131 of file event_graph.h.
Referenced by instrumentert::cost(), const_graph_visitort::CT(), const_graph_visitort::CT_not_powr(), operator<(), operator==(), cycles_visitort::po_edges(), and const_graph_visitort::PT().