Classes | Public Types | Public Member Functions | Public Attributes

spot::scc_stack Class Reference

#include <tgbaalgos/gtec/sccstack.hh>

List of all members.

Classes

struct  connected_component

Public Types

typedef std::list
< connected_component
stack_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

Member Typedef Documentation


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


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 Feb 7 2011 14:29:31 for spot by doxygen 1.7.1