spot::zielonka_tree::zielonka_node Struct Reference

A node in the Zielonka tree, storing parent, sibling, child links, level, and color set. More...

#include <spot/twaalgos/zlktree.hh>

Collaboration diagram for spot::zielonka_tree::zielonka_node:

Public Attributes
unsigned	parent
	Index of parent node (0 for root).
unsigned	next_sibling = 0
	Index of next sibling node (0 if none).
unsigned	first_child = 0
	Index of first child node (0 if none).
unsigned	level
	Depth level of this node in the tree.
acc_cond::mark_t	colors
	Set of colors associated with this node.

Detailed Description

A node in the Zielonka tree, storing parent, sibling, child links, level, and color set.

Member Data Documentation

colors

acc_cond::mark_t spot::zielonka_tree::zielonka_node::colors

Set of colors associated with this node.

first_child

unsigned spot::zielonka_tree::zielonka_node::first_child = 0

Index of first child node (0 if none).

level

unsigned spot::zielonka_tree::zielonka_node::level

Depth level of this node in the tree.

next_sibling

unsigned spot::zielonka_tree::zielonka_node::next_sibling = 0

Index of next sibling node (0 if none).

parent

unsigned spot::zielonka_tree::zielonka_node::parent

Index of parent node (0 for root).

---

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

• spot/twaalgos/zlktree.hh