spot::couvreur99_check_shy::todo_item Struct Reference

DFS stack item holding a state and its queue of unprocessed successors. More...

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

Collaboration diagram for spot::couvreur99_check_shy::todo_item:

Public Member Functions
	todo_item (const state *s, int n, couvreur99_check_shy *shy)
	Construct a DFS stack item for the given state.

Public Attributes
const state *	s
	The state at this DFS stack entry.
int	n
	The DFS order number of this state.
succ_queue	q

Detailed Description

DFS stack item holding a state and its queue of unprocessed successors.

Constructor & Destructor Documentation

todo_item()

spot::couvreur99_check_shy::todo_item::todo_item	(	const state *	s,
		int	n,
		couvreur99_check_shy *	shy
	)

Construct a DFS stack item for the given state.

Member Data Documentation

n

int spot::couvreur99_check_shy::todo_item::n

The DFS order number of this state.

q

succ_queue spot::couvreur99_check_shy::todo_item::q

Unprocessed successors of s.

s

const state* spot::couvreur99_check_shy::todo_item::s

The state at this DFS stack entry.

---

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

• spot/twaalgos/gtec/gtec.hh