spot  0.9.1
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

Purge all rem members.

Returns:
the number of elements cleared.
bool spot::scc_stack::empty ( ) const

Is the stack empty?

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.

Access the top SCC.

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 Wed May 23 2012 12:06:47 for spot by doxygen 1.7.6.1