.. _tools.h:
  
mcrl2/lps/tools.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/lps/tools.h"

add your file description here. 



Functions
-------------------------------------------------------------------------------

.. cpp:function:: void lpsbinary(const std::string &input_filename, const std::string &output_filename, const std::string &parameter_selection)
  
  

  

.. cpp:function:: 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)
  
  

  

.. cpp:function:: void lpsinfo(const std::string &input_filename, const std::string &input_file_message)
  
  

  

.. cpp:function:: 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)
  
  

  

.. cpp:function:: void lpsparelm(const std::string &input_filename, const std::string &output_filename)
  
  

  

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

  

.. cpp:function:: 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)
  
  

  

.. cpp:function:: void lpssumelm(const std::string &input_filename, const std::string &output_filename, const bool decluster)
  
  

  

.. cpp:function:: 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)
  
  

  

.. cpp:function:: 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)
  
  

  

.. cpp:function:: void txt2lps(const std::string &input_filename, const std::string &output_filename)