spot::scc_stack Class Reference

Stack of strongly connected components for the Tarjan-Couvreur emptiness-check algorithm. More...

#include <spot/twaalgos/gtec/sccstack.hh>

Collaboration diagram for spot::scc_stack:

Classes
struct	connected_component
	A strongly connected component with its index, accumulated acceptance marks, and remaining states. More...

Public Types
typedef std::list< connected_component >	stack_type
	SCC stack type.

Public Member Functions
void	push (int index)
	Stack a new SCC with index index.
connected_component &	top ()
	Access the top SCC.
const connected_component &	top () 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
	The underlying SCC stack storage.

Detailed Description

Stack of strongly connected components for the Tarjan-Couvreur emptiness-check algorithm.

Member Typedef Documentation

stack_type

typedef std::list<connected_component> spot::scc_stack::stack_type

SCC stack type.

Member Function Documentation

clear_rem()

unsigned spot::scc_stack::clear_rem

(

)

Purge all rem members.

Returns

the number of elements cleared.

empty()

bool spot::scc_stack::empty

(

)

const

Is the stack empty?

pop()

void spot::scc_stack::pop

(

)

Pop the top SCC.

push()

void spot::scc_stack::push

(

int

index

)

Stack a new SCC with index index.

rem()

std::list< const state * > & spot::scc_stack::rem

(

)

The rem member of the top SCC.

size()

size_t spot::scc_stack::size

(

)

const

How many SCC are in stack.

top() [1/2]

connected_component & spot::scc_stack::top

(

)

Access the top SCC.

top() [2/2]

const connected_component & spot::scc_stack::top

(

)

const

Access the top SCC.

Member Data Documentation

s

stack_type spot::scc_stack::s

The underlying SCC stack storage.

---

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

• spot/twaalgos/gtec/sccstack.hh