cprover
const_graph_visitort Class Reference

#include <graph_visitor.h>

Collaboration diagram for const_graph_visitort:
[legend]

Public Member Functions

void PT (const edget &e, std::set< unsigned > &edges)
 
void CT (const edget &e, std::set< unsigned > &edges)
 
void CT_not_powr (const edget &e, std::set< unsigned > &edges)
 
void IT (const edget &e, std::set< unsigned > &edges)
 
void const_graph_explore (event_grapht &graph, event_idt next, event_idt end, std::list< event_idt > &old_path)
 
void graph_explore (event_grapht &graph, event_idt next, event_idt end, std::list< event_idt > &old_path, std::set< unsigned > &edges)
 
void graph_explore_BC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges, bool porw)
 
void graph_explore_AC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges, bool porw)
 
void graph_explore_BC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges)
 
void graph_explore_AC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges)
 
void const_graph_explore_BC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path)
 
void const_graph_explore_AC (event_grapht &egraph, event_idt next, std::list< event_idt > &old_path)
 
 const_graph_visitort (fence_insertert &_fence_inserter)
 

Protected Types

typedef event_grapht::critical_cyclet::delayt edget
 

Protected Attributes

fence_insertertfence_inserter
 
std::set< event_idtvisited_nodes
 

Detailed Description

Definition at line 22 of file graph_visitor.h.

Member Typedef Documentation

◆ edget

Constructor & Destructor Documentation

◆ const_graph_visitort()

const_graph_visitort::const_graph_visitort ( fence_insertert _fence_inserter)
inlineexplicit

Definition at line 70 of file graph_visitor.h.

Member Function Documentation

◆ const_graph_explore()

void const_graph_visitort::const_graph_explore ( event_grapht graph,
event_idt  next,
event_idt  end,
std::list< event_idt > &  old_path 
)

◆ const_graph_explore_AC()

void const_graph_visitort::const_graph_explore_AC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path 
)

◆ const_graph_explore_BC()

void const_graph_visitort::const_graph_explore_BC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path 
)

◆ CT()

void const_graph_visitort::CT ( const edget edge,
std::set< unsigned > &  edges 
)

◆ CT_not_powr()

void const_graph_visitort::CT_not_powr ( const edget edge,
std::set< unsigned > &  edges 
)

◆ graph_explore()

void const_graph_visitort::graph_explore ( event_grapht graph,
event_idt  next,
event_idt  end,
std::list< event_idt > &  old_path,
std::set< unsigned > &  edges 
)

◆ graph_explore_AC() [1/2]

void const_graph_visitort::graph_explore_AC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path,
std::set< unsigned > &  edges,
bool  porw 
)

◆ graph_explore_AC() [2/2]

void const_graph_visitort::graph_explore_AC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path,
std::set< unsigned > &  edges 
)
inline

Definition at line 56 of file graph_visitor.h.

References graph_explore_AC().

◆ graph_explore_BC() [1/2]

void const_graph_visitort::graph_explore_BC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path,
std::set< unsigned > &  edges,
bool  porw 
)

◆ graph_explore_BC() [2/2]

void const_graph_visitort::graph_explore_BC ( event_grapht egraph,
event_idt  next,
std::list< event_idt > &  old_path,
std::set< unsigned > &  edges 
)
inline

Definition at line 48 of file graph_visitor.h.

References graph_explore_BC().

◆ IT()

void const_graph_visitort::IT ( const edget e,
std::set< unsigned > &  edges 
)

◆ PT()

Member Data Documentation

◆ fence_inserter

fence_insertert& const_graph_visitort::fence_inserter
protected

◆ visited_nodes

std::set<event_idt> const_graph_visitort::visited_nodes
protected

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