Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::scc_stack Class Reference

#include <sccstack.hh>

List of all members.

Public Types

typedef std::stack< connected_componentstack_type

Public Member Functions

void push (int index)
 Stack a new SCC with index index.

connected_componenttop ()
 Access the top SCC.

void pop ()
 Pop the top SCC.

size_t size () const
 How many SCC are in stack.

bool empty () const
 Is the stack empty?


Public Attributes

stack_type s


Member Typedef Documentation

typedef std::stack<connected_component> spot::scc_stack::stack_type
 


Member Function Documentation

bool spot::scc_stack::empty  )  const
 

Is the stack empty?

void spot::scc_stack::pop  ) 
 

Pop the top SCC.

void spot::scc_stack::push int  index  ) 
 

Stack a new SCC with index index.

size_t spot::scc_stack::size  )  const
 

How many SCC are in stack.

connected_component& spot::scc_stack::top  ) 
 

Access the top SCC.


Member Data Documentation

stack_type spot::scc_stack::s
 


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:02:01 2004 for spot by doxygen 1.3.7