spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
spot::scc_stack_ta Class Reference
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. More...
 
connected_componenttop ()
 Access the top SCC. More...
 
const connected_componenttop () const
 Access the top SCC. More...
 
void pop ()
 Pop the top SCC. More...
 
size_t size () const
 How many SCC are in stack. More...
 
std::list< state * > & rem ()
 The rem member of the top SCC. More...
 
bool empty () const
 Is the stack empty? More...
 

Public Attributes

stack_type s
 

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.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4