tools.cpp File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.

Functions
void	mcrl2::lps::lpsbinary (const std::string &input_filename, const std::string &output_filename, const std::string &parameter_selection)
void	mcrl2::lps::lpsconstelm (const std::string &input_filename, const std::string &output_filename, data::rewriter::strategy rewrite_strategy, bool instantiate_free_variables, bool ignore_conditions, bool remove_trivial_summands, bool remove_singleton_sorts)
void	mcrl2::lps::lpsinfo (const std::string &input_filename, const std::string &input_file_message)
bool	mcrl2::lps::lpsinvelm (const std::string &input_filename, const std::string &output_filename, const std::string &invariant_filename, const std::string &dot_file_name, data::rewriter::strategy rewrite_strategy, data::detail::smt_solver_type solver_type, const bool no_check, const bool no_elimination, const bool simplify_all, const bool all_violations, const bool counter_example, const bool path_eliminator, const bool apply_induction, const int time_limit)
void	mcrl2::lps::lpsparelm (const std::string &input_filename, const std::string &output_filename)
void	mcrl2::lps::lpspp (const std::string &input_filename, const std::string &output_filename, bool print_summand_numbers, core::print_format_type format)
void	mcrl2::lps::lpsrewr (const std::string &input_filename, const std::string &output_filename, const data::rewriter::strategy rewrite_strategy, const lps::lps_rewriter_type rewriter_type)
void	mcrl2::lps::lpssumelm (const std::string &input_filename, const std::string &output_filename, const bool decluster)
void	mcrl2::lps::lpssuminst (const std::string &input_filename, const std::string &output_filename, const data::rewriter::strategy rewrite_strategy, const std::string &sorts_string, const bool finite_sorts_only, const bool tau_summands_only)
void	mcrl2::lps::lpsuntime (const std::string &input_filename, const std::string &output_filename, const bool add_invariants, const bool apply_fourier_motzkin, const data::rewriter::strategy rewrite_strategy)
void	mcrl2::lps::txt2lps (const std::string &input_filename, const std::string &output_filename)