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

Helper class to perform Rabin-Scott subset construction. More...

Public Types
using	SubsetMap = map< State, StateSet >

Public Member Functions
	SubsetConstruction (LTS< Tran > const &lts, SubsetMap &subsets)
StateSet	computeNextSubset (State source, BDD const &letter)
bool	findOrAdd (StateSet const &newsub, State &refsub)
void	mergeOrAdd (Delta &delta, BDD const &label, State successor)
StateSet	getSubset (State s) const

Detailed Description

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

Helper class to perform Rabin-Scott subset construction.

---

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

• LTS/LTS.cc