spot  1.0.2
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
spot::scc_stack_ta Class Reference

#include <ta/ta.hh>

Collaboration diagram for spot::scc_stack_ta:
Collaboration graph

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< state * > & rem ()
 The rem member of the top SCC.
bool empty () const
 Is the stack empty?

Public Attributes

stack_type s

Member Typedef Documentation

Member Function Documentation

bool spot::scc_stack_ta::empty ( ) const

Is the stack empty?

void spot::scc_stack_ta::pop ( )

Pop the top SCC.

void spot::scc_stack_ta::push ( int  index)

Stack a new SCC with index index.

std::list<state*>& spot::scc_stack_ta::rem ( )

The rem member of the top SCC.

size_t spot::scc_stack_ta::size ( ) const

How many SCC are in stack.

connected_component& spot::scc_stack_ta::top ( )

Access the top SCC.

const connected_component& spot::scc_stack_ta::top ( ) const

Access the top SCC.

Member Data Documentation

stack_type spot::scc_stack_ta::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 Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2