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

Constructor & Destructor Documentation

◆ delayt() [1/3]

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

Definition at line 134 of file event_graph.h.

◆ delayt() [2/3]

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

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

Member Function Documentation

◆ operator<()

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

Definition at line 155 of file event_graph.h.

References first, is_po, and second.

◆ operator==()

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

Definition at line 149 of file event_graph.h.

References first, is_po, and second.

Member Data Documentation

◆ first

◆ is_po

bool event_grapht::critical_cyclet::delayt::is_po

◆ second


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