cprover
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 164 of file event_graph.h.

Constructor & Destructor Documentation

◆ delayt() [1/3]

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

Definition at line 170 of file event_graph.h.

◆ delayt() [2/3]

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

Definition at line 175 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 180 of file event_graph.h.

Member Function Documentation

◆ operator<()

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

Definition at line 191 of file event_graph.h.

◆ operator==()

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

Definition at line 185 of file event_graph.h.

Member Data Documentation

◆ first

event_idt event_grapht::critical_cyclet::delayt::first

Definition at line 166 of file event_graph.h.

◆ is_po

bool event_grapht::critical_cyclet::delayt::is_po

Definition at line 168 of file event_graph.h.

◆ second

event_idt event_grapht::critical_cyclet::delayt::second

Definition at line 167 of file event_graph.h.


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