spot::zielonka_tree::zielonka_node Struct Reference

Collaboration diagram for spot::zielonka_tree::zielonka_node:

Public Attributes
unsigned	parent
unsigned	next_sibling = 0
unsigned	first_child = 0
unsigned	level
acc_cond::mark_t	colors

---

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

• spot/twaalgos/zlktree.hh