spot::couvreur99_check_shy::todo_item Struct Reference

Collaboration diagram for spot::couvreur99_check_shy::todo_item:

Public Member Functions
	todo_item (const state *s, int n, couvreur99_check_shy *shy)

Public Attributes
const state *	s
int	n
succ_queue	q

---

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

• spot/twaalgos/gtec/gtec.hh