event_grapht::critical_cyclet::delayt Struct Reference

#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

Detailed Description

Definition at line 163 of file event_graph.h.

Constructor & Destructor Documentation

delayt() [1/3]

event_grapht::critical_cyclet::delayt::delayt ( event_idt  _first )

inlineexplicit

Definition at line 169 of file event_graph.h.

delayt() [2/3]

event_grapht::critical_cyclet::delayt::delayt ( event_idt  _first, event_idt  _second  )

inline

Definition at line 174 of file event_graph.h.

delayt() [3/3]

event_grapht::critical_cyclet::delayt::delayt ( event_idt  _first, event_idt  _second, bool  _is_po  )

inline

Definition at line 179 of file event_graph.h.

Member Function Documentation

operator<()

bool event_grapht::critical_cyclet::delayt::operator< ( const delayt &  other ) const

inline

Definition at line 190 of file event_graph.h.

operator==()

bool event_grapht::critical_cyclet::delayt::operator== ( const delayt &  other ) const

inline

Definition at line 184 of file event_graph.h.

Member Data Documentation

first

event_idt event_grapht::critical_cyclet::delayt::first

Definition at line 165 of file event_graph.h.

is_po

bool event_grapht::critical_cyclet::delayt::is_po

Definition at line 167 of file event_graph.h.

second

event_idt event_grapht::critical_cyclet::delayt::second

Definition at line 166 of file event_graph.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/wmm/event_graph.h