spot::scc_stack Class Reference

Collaboration diagram for spot::scc_stack:

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_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

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.

---

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

• spot/twaalgos/gtec/sccstack.hh