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

spot::scc_stack Class Reference

#include <tgbaalgos/gtec/sccstack.hh>

List of all members.

Public Types

typedef std::list< connected_componentstack_type

Public Member Functions

void push (int index)
 Stack a new SCC with index index.
connected_componenttop ()
 Access the top SCC.
const connected_componenttop () const
 Access the top SCC.
void pop ()
 Pop the top SCC.
size_t size () const
 How many SCC are in stack.
std::list< const state * > & rem ()
 The rem member of the top SCC.
unsigned clear_rem ()
bool empty () const
 Is the stack empty?

Public Attributes

stack_type s

Classes

struct  connected_component


Member Typedef Documentation

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


Member Function Documentation

unsigned spot::scc_stack::clear_rem  ) 
 

Purge all rem members.

Returns:
the number of elements cleared.

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.

std::list<const state*>& spot::scc_stack::rem  ) 
 

The rem member of the top SCC.

size_t spot::scc_stack::size  )  const
 

How many SCC are in stack.

const connected_component& spot::scc_stack::top  )  const
 

Access the top SCC.

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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:55 2005 for spot by doxygen 1.4.0