cprover
cycles_visitort Class Reference

#include <cycles_visitor.h>

Collaboration diagram for cycles_visitort:
[legend]

Public Member Functions

 cycles_visitort (fence_insertert &_fi)
 
void po_edges (std::set< event_idt > &edges)
 
void powr_constraint (const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
 
void poww_constraint (const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
 
void porw_constraint (const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
 
void porr_constraint (const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
 
void com_constraint (const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
 

Protected Types

typedef event_grapht::critical_cyclet::delayt edget
 

Protected Attributes

fence_insertertfence_inserter
 

Detailed Description

Definition at line 21 of file cycles_visitor.h.

Member Typedef Documentation

§ edget

Constructor & Destructor Documentation

§ cycles_visitort()

cycles_visitort::cycles_visitort ( fence_insertert _fi)
inlineexplicit

Member Function Documentation

§ com_constraint()

§ po_edges()

§ porr_constraint()

§ porw_constraint()

§ powr_constraint()

§ poww_constraint()

Member Data Documentation

§ fence_inserter

fence_insertert& cycles_visitort::fence_inserter
protected

The documentation for this class was generated from the following files: