composition_traits Struct Reference

List of all members.

Public Types
typedef std::pair< hstate_t, hstate_t >	pair_hstate_t
	Pair of states.
typedef std::map< pair_hstate_t, hstate_t >	visited_t
	Map from pair of states to state.
typedef std::map< hstate_t, pair_hstate_t >	map_of_states_t
	Map from state to pair of states.
typedef std::queue< pair_hstate_t >	to_process_t
	Queue of pair of states.

---

Detailed Description

Definition at line 42 of file normalized_composition.hxx.

---