mcrl2::lts::lts_none_builder Member List

This is the complete list of members for mcrl2::lts::lts_none_builder, including all inherited members.

add_action(const lps::multi_action &a)	mcrl2::lts::lts_builder	inline
add_transition(std::size_t, const lps::multi_action &, std::size_t, const std::size_t) override	mcrl2::lts::lts_none_builder	inlinevirtual
finalize(const indexed_set_for_states_type &, bool) override	mcrl2::lts::lts_none_builder	inlinevirtual
indexed_set_for_states_type typedef	mcrl2::lts::lts_builder
lts_builder()	mcrl2::lts::lts_builder	inline
m_actions	mcrl2::lts::lts_builder
save(const std::string &) override	mcrl2::lts::lts_none_builder	inlinevirtual
~lts_builder()=default	mcrl2::lts::lts_builder	virtual