CBMC
Public Member Functions | Public Attributes | List of all members
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: