mcrl2/lps/tools.h

Include file:

#include "mcrl2/lps/tools.h"

add your file description here.

Functions

void lpsbinary(const std::string &input_filename, const std::string &output_filename)

void 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 lpsinfo(const std::string &input_filename, const std::string &input_file_message)

bool 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 lpsparelm(const std::string &input_filename, const std::string &output_filename)

void lpspp(const std::string &input_filename, const std::string &output_filename, bool print_summand_numbers, core::print_format_type format)

void 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 lpssumelm(const std::string &input_filename, const std::string &output_filename, const bool decluster)

void 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 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 txt2lps(const std::string &input_filename, const std::string &output_filename)