spot::reduce_parity_data Struct Reference

Internal data computed by the reduce_parity function. More...

#include <spot/twaalgos/parity.hh>

Collaboration diagram for spot::reduce_parity_data:

Public Member Functions
	reduce_parity_data (const const_twa_graph_ptr &aut, bool layered=false)

Public Attributes
bool	parity_max
	Whether the input automaton is parity max.
bool	parity_odd
	Whether the input automaton is parity odd.
std::vector< int >	piprime1
std::vector< int >	piprime2

Detailed Description

Internal data computed by the reduce_parity function.

piprime1 and piprime2 have the size of aut's edge vector, represent two possible colorations of the edges. piprime1 assumes that terminal cases of the recursion are odd, and piprime2 assumes they are even.

reduce_parity() actually compare the range of values in these two vectors to limit the number of colors.

Member Data Documentation

parity_max

bool spot::reduce_parity_data::parity_max

Whether the input automaton is parity max.

parity_odd

bool spot::reduce_parity_data::parity_odd

Whether the input automaton is parity odd.

---

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

• spot/twaalgos/parity.hh