tostring.hh 1.86 KB
 Alexandre Duret-Lutz committed Aug 09, 2004 1 ``````// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), `````` Alexandre Duret-Lutz committed Nov 21, 2003 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 ``````// département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. // // Spot is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY // or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public // License for more details. // // You should have received a copy of the GNU General Public License // along with Spot; see the file COPYING. If not, write to the Free // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA // 02111-1307, USA. `````` Alexandre Duret-Lutz committed Jun 26, 2003 22 23 ``````#ifndef SPOT_LTLVISIT_TOSTRING_HH # define SPOT_LTLVISIT_TOSTRING_HH `````` rebiha committed Apr 24, 2003 24 25 `````` #include `````` Alexandre Duret-Lutz committed Aug 09, 2004 26 ``````#include `````` rebiha committed Apr 24, 2003 27 `````` `````` Alexandre Duret-Lutz committed May 16, 2003 28 ``````namespace spot `````` rebiha committed Apr 24, 2003 29 30 31 ``````{ namespace ltl { `````` Alexandre Duret-Lutz committed Jun 26, 2003 32 33 34 `````` /// \brief Output a formula as a (parsable) string. /// \param f The formula to translate. /// \param os The stream where it should be output. `````` Alexandre Duret-Lutz committed May 16, 2003 35 `````` std::ostream& to_string(const formula* f, std::ostream& os); `````` Alexandre Duret-Lutz committed Jun 26, 2003 36 37 38 `````` /// \brief Convert a formula into a (parsable) string. /// \param f The formula to translate. `````` Alexandre Duret-Lutz committed May 16, 2003 39 `````` std::string to_string(const formula* f); `````` Alexandre Duret-Lutz committed Apr 21, 2004 40 41 42 43 44 45 46 47 48 `````` /// \brief Output a formula as a (parsable by Spin) string. /// \param f The formula to translate. /// \param os The stream where it should be output. std::ostream& to_spin_string(const formula* f, std::ostream& os); /// \brief Convert a formula into a (parsable by Spin) string. /// \param f The formula to translate. std::string to_spin_string(const formula* f); `````` rebiha committed Apr 24, 2003 49 50 51 `````` } } `````` Alexandre Duret-Lutz committed Jun 26, 2003 52 ``#endif // SPOT_LTLVISIT_TOSTRING_HH``