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/lps/detail/lps_command.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_LPS_DETAIL_LPS_COMMAND_H 13 : #define MCRL2_LPS_DETAIL_LPS_COMMAND_H 14 : 15 : #include "mcrl2/data/rewriter.h" 16 : #include "mcrl2/lps/detail/lps_io.h" 17 : #include "mcrl2/utilities/detail/command.h" 18 : 19 : namespace mcrl2 { 20 : 21 : namespace lps { 22 : 23 : namespace detail { 24 : 25 : struct lps_command: public utilities::detail::command 26 : { 27 : lps::specification lpsspec; 28 : 29 0 : lps_command(const std::string& name, 30 : const std::string& input_filename, 31 : const std::string& output_filename, 32 : const std::vector<std::string>& options 33 : ) 34 0 : : utilities::detail::command(name, input_filename, output_filename, options) 35 0 : {} 36 : 37 0 : void execute() 38 : { 39 0 : lpsspec = lps::detail::load_lps(input_filename); 40 0 : } 41 : }; 42 : 43 : /// \brief PBES command that uses a rewrite strategy 44 : struct lps_rewriter_command: public lps_command 45 : { 46 : data::rewrite_strategy strategy; 47 : 48 0 : lps_rewriter_command(const std::string& name, 49 : const std::string& input_filename, 50 : const std::string& output_filename, 51 : const std::vector<std::string>& options, 52 : data::rewrite_strategy strategy_) 53 0 : : lps_command(name, input_filename, output_filename, options), 54 0 : strategy(strategy_) 55 0 : {} 56 : }; 57 : 58 : } // namespace detail 59 : 60 : } // namespace lps 61 : 62 : } // namespace mcrl2 63 : 64 : #endif // MCRL2_LPS_DETAIL_LPS_COMMAND_H