mcrl2::lts::trace Member List

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

actions() const	mcrl2::lts::trace	inline
add_action(const mcrl2::lps::multi_action &action)	mcrl2::lts::trace	inline
clear_current_state()	mcrl2::lts::trace	inline
current_action()	mcrl2::lts::trace	inline
current_action_exists() const	mcrl2::lts::trace	inline
current_state() const	mcrl2::lts::trace	inline
current_state_exists() const	mcrl2::lts::trace	inline
current_time()	mcrl2::lts::trace	inline
decrease_position()	mcrl2::lts::trace	inline
detectFormat(std::istream &is)	mcrl2::lts::trace	inlineprotected
get_position() const	mcrl2::lts::trace	inline
increase_position()	mcrl2::lts::trace	inline
init()	mcrl2::lts::trace	inlineprotected
load(const std::string &filename, trace_format tf=tfUnknown)	mcrl2::lts::trace	inline
load_mcrl2(const std::string &filename)	mcrl2::lts::trace	inlineprotected
load_plain(std::istream &is)	mcrl2::lts::trace	inlineprotected
m_act_decls	mcrl2::lts::trace	protected
m_actions	mcrl2::lts::trace	protected
m_data_specification_and_act_decls_are_defined	mcrl2::lts::trace	protected
m_pos	mcrl2::lts::trace	protected
m_spec	mcrl2::lts::trace	protected
m_states	mcrl2::lts::trace	protected
next_state() const	mcrl2::lts::trace	inline
number_of_actions() const	mcrl2::lts::trace	inline
number_of_states() const	mcrl2::lts::trace	inline
operator<(const trace &t) const	mcrl2::lts::trace	inline
reset_position()	mcrl2::lts::trace	inline
save(const std::string &filename, trace_format tf=tfMcrl2) const	mcrl2::lts::trace	inline
save_line(const std::string &filename) const	mcrl2::lts::trace	inlineprotected
save_mcrl2(const std::string &filename) const	mcrl2::lts::trace	inlineprotected
save_plain(const std::string &filename) const	mcrl2::lts::trace	inlineprotected
save_text(const std::string &filename, std::string separator) const	mcrl2::lts::trace	inlineprotected
save_text_to_stream(std::ostream &os, std::string separator) const	mcrl2::lts::trace	inlineprotected
set_position(std::size_t pos)	mcrl2::lts::trace	inline
set_state(const lps::state &s)	mcrl2::lts::trace	inline
states() const	mcrl2::lts::trace	inline
tfLine enum value	mcrl2::lts::trace
tfMcrl2 enum value	mcrl2::lts::trace
tfPlain enum value	mcrl2::lts::trace
tfUnknown enum value	mcrl2::lts::trace
trace()	mcrl2::lts::trace	inline
trace(const mcrl2::data::data_specification &spec, const mcrl2::process::action_label_list &act_decls)	mcrl2::lts::trace	inline
trace(const std::string &filename, trace_format tf=tfUnknown)	mcrl2::lts::trace	inline
trace(const std::string &filename, const mcrl2::data::data_specification &spec, const mcrl2::process::action_label_list &act_decls, trace_format tf=tfUnknown)	mcrl2::lts::trace	inline
trace_format enum name	mcrl2::lts::trace
truncate()	mcrl2::lts::trace	inline