LTS< Tran >::PartitionRefinement< Tran > Class Template Reference

Class to compute partition refinement for the states of an LTS. More...

Public Member Functions
	PartitionRefinement (LTS< Tran > const &automaton, map< State, unsigned > const &outputClass)
void	hopcroft (void)
void	printPartition (void) const
map< State, State >	getReplacementMap (void) const

Detailed Description

template<typename Tran>
template<typename Tran>
class LTS< Tran >::PartitionRefinement< Tran >

Class to compute partition refinement for the states of an LTS.

---

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

• LTS/LTS.cc