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/pbesstategraph.h
      10             : /// \brief add your file description here.
      11             : 
      12             : #ifndef MCRL2_PBES_TOOLS_PBESSTATEGRAPH_H
      13             : #define MCRL2_PBES_TOOLS_PBESSTATEGRAPH_H
      14             : 
      15             : #include "mcrl2/pbes/stategraph.h"
      16             : #include "mcrl2/pbes/io.h"
      17             : 
      18             : namespace mcrl2 {
      19             : 
      20             : namespace pbes_system {
      21             : 
      22           0 : void pbesstategraph(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             :                     const pbesstategraph_options& options)
      27             : {
      28           0 :   pbes p;
      29           0 :   load_pbes(p, input_filename, input_format);
      30             : 
      31           0 :   stategraph(p, options);
      32             : 
      33           0 :   save_pbes(p, output_filename, output_format, false);
      34           0 :   if (!p.is_well_typed())
      35             :   {
      36           0 :     mCRL2log(log::error) << "pbesstategraph error: not well typed!" << std::endl;
      37           0 :     mCRL2log(log::error) << pp(p) << std::endl;
      38             :   }
      39           0 : }
      40             : 
      41             : } // namespace pbes_system
      42             : 
      43             : } // namespace mcrl2
      44             : 
      45             : #endif // MCRL2_PBES_TOOLS_PBESSTATEGRAPH_H