Awali
Another Weighted Automata library
bounded_weightset.hh
Go to the documentation of this file.
1 // This file is part of Awali.
2 // Copyright 2016-2022 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
3 //
4 // Awali is a free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
8 //
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with this program. If not, see <http://www.gnu.org/licenses/>.
16 
17 #ifndef DYN_BOUNDED_WEIGHTSET_HH
18 #define DYN_BOUNDED_WEIGHTSET_HH
20 #include<sstream>
21 
22 namespace awali {
23 namespace dyn {
24 namespace context {
25 
27 
28  bounded_weightset(const std::string& public_name,
29  const std::string& desc);
30 
31  weightset_description fromstring(const std::string &k) const override;
32 
33  std::string const& tostring(weightset_description ws, bool dynamic)
34  const override;
35 
36  virtual weightset_description parse_weightset(json::object_t const* p) const override;
37 
38  virtual bool is_promotable_to(weightset_description ws) const override;
39  };
40 
41 }}} //end of namespaces awali::dyn::context, awali::dyn, and awali
42 
43 #endif
Definition: node.hh:367
std::shared_ptr< weightset_description_impl > weightset_description
Definition: description_types.hh:33
Main namespace of Awali.
Definition: ato.hh:22
Definition: abstract_weightset.hh:37
const std::string public_name
Definition: abstract_weightset.hh:41
const std::string desc
Definition: abstract_weightset.hh:42
Definition: bounded_weightset.hh:26
bounded_weightset(const std::string &public_name, const std::string &desc)
std::string const & tostring(weightset_description ws, bool dynamic) const override
weightset_description fromstring(const std::string &k) const override
virtual bool is_promotable_to(weightset_description ws) const override
virtual weightset_description parse_weightset(json::object_t const *p) const override