#include <atpg.hpp>
Inheritance diagram for BacktraceVisitor< GraphType >:
Public Types | |
typedef boost::property_map< GraphType, boost::vertex_attribute_t >::const_type | ConstVertexAttrMapType |
typedef boost::property_map< GraphType, boost::edge_attribute_t >::type | EdgeAttrMapType |
typedef boost::graph_traits< GraphType >::in_edge_iterator | InEdgeIteratorType |
typedef boost::graph_traits< GraphType >::out_edge_iterator | OutEdgeIteratorType |
typedef boost::graph_traits< GraphType >::vertex_descriptor | VertexType |
typedef set< VertexSignalPair< VertexType > > | SetVertexSignalPairType |
Public Methods | |
BacktraceVisitor (const GraphType &g, EdgeAttrMapType &eM, SetVertexSignalPairType &setVS) | |
template<class Vertex, class GraphType> bool | HasXs (Vertex v, const GraphType &g) |
template<class Vertex, class GraphType> DLogic | suggestEnablingSignal (Vertex v, const GraphType &g) |
template<class Vertex, class GraphType> void | discover_vertex (Vertex v, const GraphType &g) |
|
|
|
Definition at line 488 of file atpg.hpp. Referenced by BacktraceVisitor< GraphType >::BacktraceVisitor(). |
|
|
|
|
|
Definition at line 492 of file atpg.hpp. Referenced by BacktraceVisitor< GraphType >::BacktraceVisitor(). |
|
|
|
Definition at line 494 of file atpg.hpp. References BacktraceVisitor< GraphType >::EdgeAttrMapType, and BacktraceVisitor< GraphType >::SetVertexSignalPairType. |
|
|
|
|
|
|