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)
	Compute parity reduction data for aut. More...

Public Attributes
bool	parity_max
	Whether the input automaton is parity max. More...
bool	parity_odd
	Whether the input automaton is parity odd. More...
std::vector< int >	piprime1
	Coloring assuming odd terminal base cases. More...
std::vector< int >	piprime2
	Coloring assuming even terminal base cases. More...

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 compares the range of values in these two vectors to limit the number of colors.

Constructor & Destructor Documentation

reduce_parity_data()

spot::reduce_parity_data::reduce_parity_data	(	const const_twa_graph_ptr &	aut,
		bool	layered = false
	)

Compute parity reduction data for aut.

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.

piprime1

std::vector<int> spot::reduce_parity_data::piprime1

Coloring assuming odd terminal base cases.

piprime2

std::vector<int> spot::reduce_parity_data::piprime2

Coloring assuming even terminal base cases.

---

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

• spot/twaalgos/parity.hh