Awali
Another Weighted Automata library
n.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 AWALI_WEIGHTSET_N_HH
18 #define AWALI_WEIGHTSET_N_HH
19 
20 # include <ostream>
21 # include <string>
22 # include <sstream>
23 
24 #include <awali/sttc/misc/raise.hh>
25 #include <awali/common/enums.hh>
29 
30 namespace awali {
31  namespace sttc {
33  class n
34  {
35  public:
36  using self_type = n;
37 
38  static std::string sname()
39  {
40  return "n";
41  }
42 
43  std::string vname(bool = true) const
44  {
45  return sname();
46  }
47 
49  static n make(std::istream& is)
50  {
51  eat(is, sname());
52  return {};
53  }
54 
55  using value_t = unsigned int;
56 
57  constexpr static value_t
58  zero()
59  {
60  return 0u;
61  }
62 
63  constexpr static value_t
64  one()
65  {
66  return 1u;
67  }
68 
69  static value_t
70  add(const value_t l, const value_t r)
71  {
72  return l + r;
73  }
74 
75  static value_t
76  sub(const value_t l, const value_t r)
77  {
78  require(l>=r, "N: sub: invalid subtraction: ", l , '-', r);
79  return l - r;
80  }
81 
82  static value_t
83  mul(const value_t l, const value_t r)
84  {
85  return l * r;
86  }
87 
88  static value_t
89  rdiv(const value_t l, const value_t r)
90  {
91  require(!is_zero(r), "div: division by zero");
92  require(!(l % r),
93  "N: div: invalid division: ", l, '/', r);
94  return l / r;
95  }
96 
97  static value_t
98  ldiv(const value_t l, const value_t r)
99  {
100  return rdiv(r, l);
101  }
102 
103  value_t
104  star(const value_t v) const
105  {
106  if (is_zero(v))
107  return one();
108  else
109  raise("N: star: invalid value: ", format(*this, v));
110  }
111 
112  constexpr static bool is_special(value_t)
113  {
114  return false;
115  }
116 
117  static bool
118  is_zero(const value_t v)
119  {
120  return v == 0u;
121  }
122 
123  static bool
124  is_one(const value_t v)
125  {
126  return v == 1u;
127  }
128 
129  static bool
130  equals(const value_t l, const value_t r)
131  {
132  return l == r;
133  }
134 
136  static bool less_than(value_t lhs, value_t rhs)
137  {
138  return lhs < rhs;
139  }
140 
141  static constexpr bool is_commutative_semiring() { return true; }
142 
143  static constexpr bool show_one() { return false; }
145 
146  static value_t
148  {
149  return v;
150  }
151 
152  static size_t hash(value_t v)
153  {
154  return utils::hash_value(v);
155  }
156 
157  static value_t
159  {
160  return v;
161  }
162 
163  static value_t
165  {
166  // Conversion from bool to int.
167  return v;
168  }
169 
170  static value_t
171  parse(const std::string & s, size_t& p) {
172  return internal::lr_parse_int(s,p);
173  }
174 
175  static value_t
176  conv(std::istream& stream)
177  {
178  value_t res;
179  if (stream >> res)
180  return res;
181  else
182  sttc::fail_reading(stream, sname() + ": invalid value");
183  }
184 
185  static std::ostream&
186  print(const value_t v, std::ostream& o,
187  const std::string& fmt = "text")
188  {
189  return o << v;
190  }
191 
192  static std::ostream&
193  print_set(std::ostream& o, const std::string& format = "text")
194  {
195  if (format == "latex")
196  o << "\\mathbb{N}";
197  else if (format == "text")
198  o << "N";
199  else
200  raise("invalid format: ", format);
201  return o;
202  }
203 
204 
205 
206  template<unsigned version = version::fsm_json>
207  value_t
208  static value_from_json(json::node_t const* p)
209  {
210  switch (version) {
211  case 0:
212  throw parse_exception("[N] Unsupported fsm-json version:"
213  + std::to_string(version));
214  case 1:
215  default:
216  int a=p->to_int();
217  if(a<0)
218  throw parse_exception("[N] Negative integers are not allowed.");
219  return a;
220  }
221  }
222 
223 
224  template<unsigned version = version::fsm_json>
225  json::node_t*
227  {
228  switch (version) {
229  case 0:
230  throw parse_exception("[N] Unsupported fsm-json version:"
231  + std::to_string(version));
232  case 1:
233  default:
234  return new json::int_t(v);
235  }
236  }
237 
238  template<unsigned version = version::fsm_json>
240  to_json() const
241  {
242  switch (version) {
243  case 0:
244  throw parse_exception("[N] Unsupported fsm-json version:"
245  + std::to_string(version));
246  case 1:
247  default:
248  json::object_t* obj = new json::object_t();
249  obj->push_back("semiring",new json::string_t("N"));
250  return obj;
251  }
252  }
253  };
254 
255  inline n join(const n&, const n&) { return {}; }
256 
257  inline n join(const b&, const n&) { return {}; }
258  inline n join(const n&, const b&) { return {}; }
259 
260 }}//end of ns awali::stc
261 
262 #endif // !AWALI_WEIGHTSET_N_HH
Definition: node.hh:483
Definition: node.hh:191
virtual int to_int() const
Coerces this node_t to int.
Definition: node.hh:319
Definition: node.hh:365
object_t * push_back(std::string key, node_t *node)
Definition: node.hh:526
The Boolean semring.
Definition: b.hh:38
bool value_t
Definition: b.hh:56
The semiring of Natural numbers.
Definition: n.hh:34
constexpr static value_t zero()
Definition: n.hh:58
static constexpr bool is_commutative_semiring()
Definition: n.hh:141
static std::ostream & print(const value_t v, std::ostream &o, const std::string &fmt="text")
Definition: n.hh:186
static value_t value_from_json(json::node_t const *p)
Definition: n.hh:208
static bool less_than(value_t lhs, value_t rhs)
Whether lhs < rhs.
Definition: n.hh:136
static value_t mul(const value_t l, const value_t r)
Definition: n.hh:83
static constexpr star_status_t star_status()
Definition: n.hh:144
static value_t conv(std::istream &stream)
Definition: n.hh:176
constexpr static bool is_special(value_t)
Definition: n.hh:112
static value_t parse(const std::string &s, size_t &p)
Definition: n.hh:171
static value_t conv(self_type, value_t v)
Definition: n.hh:158
static std::string sname()
Definition: n.hh:38
unsigned int value_t
Definition: n.hh:55
static bool equals(const value_t l, const value_t r)
Definition: n.hh:130
static value_t rdiv(const value_t l, const value_t r)
Definition: n.hh:89
static value_t conv(b, b::value_t v)
Definition: n.hh:164
value_t star(const value_t v) const
Definition: n.hh:104
static value_t add(const value_t l, const value_t r)
Definition: n.hh:70
static value_t ldiv(const value_t l, const value_t r)
Definition: n.hh:98
static bool is_zero(const value_t v)
Definition: n.hh:118
static constexpr bool show_one()
Definition: n.hh:143
json::node_t * value_to_json(value_t v) const
Definition: n.hh:226
constexpr static value_t one()
Definition: n.hh:64
static std::ostream & print_set(std::ostream &o, const std::string &format="text")
Definition: n.hh:193
json::object_t * to_json() const
Definition: n.hh:240
std::string vname(bool=true) const
Definition: n.hh:43
static size_t hash(value_t v)
Definition: n.hh:152
static bool is_one(const value_t v)
Definition: n.hh:124
static value_t sub(const value_t l, const value_t r)
Definition: n.hh:76
static value_t transpose(const value_t v)
Definition: n.hh:147
static n make(std::istream &is)
Build from the description in is.
Definition: n.hh:49
The semiring of floating Numbers.
Definition: r.hh:35
star_status_t
The different behaviours a weightset may have with respect to the star.
Definition: enums.hh:161
@ NON_STARRABLE
Definition: enums.hh:164
int lr_parse_int(std::string const &s, size_t &p, bool allow_empty=false, int value_if_empty=0)
Reads an int written in decimal left of position p in string s, by using as many characters as possib...
Definition: lr_parse_number.hh:239
std::string to_string(identities i)
void eat(std::istream &is, char c)
Check lookahead character and advance.
Definition: stream.hh:62
ATTRIBUTE_NORETURN void fail_reading(std::istream &is, std::string explanation)
Throw an exception after failing to read from is.
Definition: stream.hh:93
auto join(const ratexpset< Ctx1 > &a, const ratexpset< Ctx2 > &b) -> ratexpset< join_t< Ctx1, Ctx2 >>
The union of two ratexpsets.
Definition: ratexpset.hh:448
auto format(const ValueSet &vs, const typename ValueSet::value_t &v, Args &&... args) -> std::string
Format v via vs.print.
Definition: stream.hh:109
void require(bool b, Args &&... args)
If b is not verified, raise an error with args as message.
Definition: raise.hh:55
std::size_t hash_value(const T &v)
Definition: hash.hh:76
Main namespace of Awali.
Definition: ato.hh:22
Exceptions thrown during parsing.
Definition: parse_exception.hh:26