spot::power_map Struct Reference

Maps each powerset-construction state to the set of original states it represents. More...

#include <spot/twaalgos/powerset.hh>

Collaboration diagram for spot::power_map:

Public Types
typedef std::set< unsigned >	power_state
	Set of NFA states in the powerset construction.

Public Member Functions
const power_state &	states_of (unsigned s) const
	Return the set of NFA states for DFA state s.

Public Attributes
std::vector< power_state >	map_
	Map from DFA states to NFA state sets.

Detailed Description

Maps each powerset-construction state to the set of original states it represents.

Member Typedef Documentation

power_state

typedef std::set<unsigned> spot::power_map::power_state

Set of NFA states in the powerset construction.

Member Function Documentation

states_of()

const power_state & spot::power_map::states_of ( unsigned  s ) const

inline

Return the set of NFA states for DFA state s.

Member Data Documentation

map_

std::vector<power_state> spot::power_map::map_

Map from DFA states to NFA state sets.

---

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

• spot/twaalgos/powerset.hh