spot  2.3.2
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
spot::scc_stack Class Reference
Collaboration diagram for spot::scc_stack:
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< const state * > & rem ()
 The rem member of the top SCC. More...
 
unsigned clear_rem ()
 
bool empty () const
 Is the stack empty? More...
 

Public Attributes

stack_type s
 

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.

connected_component& spot::scc_stack::top ( )

Access the top SCC.

const connected_component& spot::scc_stack::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 Wed Mar 15 2017 09:26:51 for spot by doxygen 1.8.8