Awali
Another Weighted Automata library
cyclic_weightset.hh
Go to the documentation of this file.
1 // This file is part of Awali.
2 // Copyright 2016-2021 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_CYCLIC_WEIGHTSET_HH
18 #define DYN_CYCLIC_WEIGHTSET_HH
20 #include<sstream>
21 
22 namespace awali {
23 namespace dyn {
24 namespace context {
25 
27 
28  static std::string static_pub_name;
29 
30  static std::string static_pub_description;
31 
32  weightset_description fromstring(const std::string &k) const override;
33 
34  const std::string& static_public_name() const override;
35 
36  const std::string& static_desc() const override;
37 
38  const std::string& tostring(weightset_description ws, bool dynamic) const override;
39 
40  weightset_description parse_weightset(json::object_t const* p) const override;
41 
42  virtual bool is_promotable_to(weightset_description ws) const override;
43 
44  };
45 
46 }}} //end of namespaces awali::dyn::context, awali::dyn, and awali
47 
48 #endif
awali::dyn::context::cyclic_weightset::static_public_name
const std::string & static_public_name() const override
awali
Main namespace of Awali.
Definition: ato.hh:22
abstract_weightset.hh
awali::dyn::context::cyclic_weightset::parse_weightset
weightset_description parse_weightset(json::object_t const *p) const override
awali::dyn::context::cyclic_weightset::static_desc
const std::string & static_desc() const override
awali::dyn::context::cyclic_weightset::static_pub_name
static std::string static_pub_name
Definition: cyclic_weightset.hh:28
awali::dyn::context::cyclic_weightset::tostring
const std::string & tostring(weightset_description ws, bool dynamic) const override
awali::dyn::context::cyclic_weightset::fromstring
weightset_description fromstring(const std::string &k) const override
awali::dyn::context::cyclic_weightset
Definition: cyclic_weightset.hh:26
awali::json::object_t
Definition: node.hh:364
awali::dyn::context::abstract_weightset
Definition: abstract_weightset.hh:36
awali::dyn::context::weightset_description
std::shared_ptr< weightset_description_impl > weightset_description
Definition: description_types.hh:33
awali::dyn::context::cyclic_weightset::is_promotable_to
virtual bool is_promotable_to(weightset_description ws) const override
awali::dyn::context::cyclic_weightset::static_pub_description
static std::string static_pub_description
Definition: cyclic_weightset.hh:30