spot::couvreur99_check_shy::successor Struct Reference

Collaboration diagram for spot::couvreur99_check_shy::successor:

Public Member Functions
	successor (acc_cond::mark_t acc, const spot::state *s) noexcept

Public Attributes
acc_cond::mark_t	acc
const spot::state *	s

---

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

• spot/twaalgos/gtec/gtec.hh