Main Page   Namespace List   Alphabetical List   Compound List   File List   Compound Members   File Members  

BacktraceVisitor< GraphType > Class Template Reference

#include <atpg.hpp>

Inheritance diagram for BacktraceVisitor< GraphType >:

Inheritance graph
[legend]
Collaboration diagram for BacktraceVisitor< GraphType >:

Collaboration graph
[legend]
List of all members.

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)

template<typename GraphType>
class BacktraceVisitor< GraphType >


Member Typedef Documentation

template<typename GraphType>
typedef boost::property_map<GraphType,boost::vertex_attribute_t>::const_type BacktraceVisitor< GraphType >::ConstVertexAttrMapType
 

Definition at line 487 of file atpg.hpp.

template<typename GraphType>
typedef boost::property_map<GraphType,boost::edge_attribute_t>::type BacktraceVisitor< GraphType >::EdgeAttrMapType
 

Definition at line 488 of file atpg.hpp.

Referenced by BacktraceVisitor< GraphType >::BacktraceVisitor().

template<typename GraphType>
typedef boost::graph_traits<GraphType>::in_edge_iterator BacktraceVisitor< GraphType >::InEdgeIteratorType
 

Definition at line 489 of file atpg.hpp.

template<typename GraphType>
typedef boost::graph_traits<GraphType>::out_edge_iterator BacktraceVisitor< GraphType >::OutEdgeIteratorType
 

Definition at line 490 of file atpg.hpp.

template<typename GraphType>
typedef set<VertexSignalPair<VertexType> > BacktraceVisitor< GraphType >::SetVertexSignalPairType
 

Definition at line 492 of file atpg.hpp.

Referenced by BacktraceVisitor< GraphType >::BacktraceVisitor().

template<typename GraphType>
typedef boost::graph_traits<GraphType>::vertex_descriptor BacktraceVisitor< GraphType >::VertexType
 

Definition at line 491 of file atpg.hpp.


Constructor & Destructor Documentation

template<typename GraphType>
BacktraceVisitor< GraphType >::BacktraceVisitor const GraphType &    g,
EdgeAttrMapType   eM,
SetVertexSignalPairType   setVS
[inline]
 

Definition at line 494 of file atpg.hpp.

References BacktraceVisitor< GraphType >::EdgeAttrMapType, and BacktraceVisitor< GraphType >::SetVertexSignalPairType.


Member Function Documentation

template<typename GraphType>
template<class Vertex, class GraphType>
void BacktraceVisitor< GraphType >::discover_vertex Vertex    v,
const GraphType &    g
[inline]
 

Definition at line 552 of file atpg.hpp.

template<typename GraphType>
template<class Vertex, class GraphType>
bool BacktraceVisitor< GraphType >::HasXs Vertex    v,
const GraphType &    g
[inline]
 

Definition at line 497 of file atpg.hpp.

template<typename GraphType>
template<class Vertex, class GraphType>
DLogic BacktraceVisitor< GraphType >::suggestEnablingSignal Vertex    v,
const GraphType &    g
[inline]
 

Definition at line 514 of file atpg.hpp.


The documentation for this class was generated from the following file:
Generated on Mon Jan 20 11:54:39 2003 for ATPG by doxygen1.3-rc1