Parity::Determ Class Reference

Helper class to perform DPW determinization. More...

Public Member Functions
	Determ (Parity const &NPW, vector< Stree > &trees)
void	computeNextTree (State source, BDD const &letter, Stree &newt, int &color)
bool	findOrAdd (Stree const &newtree, int &reftree)
void	mergeOrAdd (Delta &delta, BDD const &label, State successor, Priority color)

Detailed Description

Helper class to perform DPW determinization.

---

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

• LTS/Parity.cc