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:

Public Member Functions