spot::scc_stack_ta Class Reference

Collaboration diagram for spot::scc_stack_ta:

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.
bool	empty () const
	Is the stack empty?

Public Attributes
stack_type	s

Member Function Documentation

empty()

bool spot::scc_stack_ta::empty

(

)

const

Is the stack empty?

pop()

void spot::scc_stack_ta::pop

(

)

Pop the top SCC.

push()

void spot::scc_stack_ta::push

(

int

index

)

Stack a new SCC with index index.

rem()

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

(

)

The rem member of the top SCC.

size()

size_t spot::scc_stack_ta::size

(

)

const

How many SCC are in stack.

top() [1/2]

connected_component & spot::scc_stack_ta::top

(

)

Access the top SCC.

top() [2/2]

const connected_component & spot::scc_stack_ta::top

(

)

const

Access the top SCC.

---

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

• spot/ta/ta.hh