Line data    Source code

       1             : // Author(s): Wieger Wesselink
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file mcrl2/pbes/tools/pbesparelm.h
      10             : /// \brief add your file description here.
      11             : 
      12             : #ifndef MCRL2_PBES_TOOLS_PBESPARELM_H
      13             : #define MCRL2_PBES_TOOLS_PBESPARELM_H
      14             : 
      15             : #include "mcrl2/pbes/io.h"
      16             : #include "mcrl2/pbes/parelm.h"
      17             : 
      18             : namespace mcrl2 {
      19             : 
      20             : namespace pbes_system {
      21             : 
      22           0 : void pbesparelm(const std::string& input_filename,
      23             :                 const std::string& output_filename,
      24             :                 const utilities::file_format& input_format,
      25             :                 const utilities::file_format& output_format
      26             :                )
      27             : {
      28             :   // load the pbes
      29           0 :   pbes p;
      30           0 :   load_pbes(p, input_filename, input_format);
      31             : 
      32           0 :   parelm(p);
      33             : 
      34             :   // save the result
      35           0 :   save_pbes(p, output_filename, output_format);
      36           0 : }
      37             : 
      38             : } // namespace pbes_system
      39             : 
      40             : } // namespace mcrl2
      41             : 
      42             : #endif // MCRL2_PBES_TOOLS_PBESPARELM_H