Include file:
#include "mcrl2/lps/tools.h"
add your file description here.
lpsbinary
(const std::string &input_filename, const std::string &output_filename, const std::string ¶meter_selection)¶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)¶lpsinfo
(const std::string &input_filename, const std::string &input_file_message)¶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)¶lpsparelm
(const std::string &input_filename, const std::string &output_filename)¶lpspp
(const std::string &input_filename, const std::string &output_filename, bool print_summand_numbers, core::print_format_type format)¶lpsrewr
(const std::string &input_filename, const std::string &output_filename, const data::rewriter::strategy rewrite_strategy, const lps::lps_rewriter_type rewriter_type)¶lpssumelm
(const std::string &input_filename, const std::string &output_filename, const bool decluster)¶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)¶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)¶txt2lps
(const std::string &input_filename, const std::string &output_filename)¶