17 #ifndef AWALI_WEIGHTSET_N_HH
18 #define AWALI_WEIGHTSET_N_HH
42 std::string
vname(
bool =
true)
const
77 require(l>=
r,
"N: sub: invalid subtraction: ", l ,
'-',
r);
92 "N: div: invalid division: ", l,
'/',
r);
108 raise(
"N: star: invalid value: ",
format(*
this, v));
170 parse(
const std::string & s,
size_t& p)
const {
172 for(; i>0 && s[i-1]>=
'0' && s[i-1]<=
'9'; --i)
176 std::istringstream st(s.substr(i, p-i));
195 const std::string& fmt =
"text")
205 else if (
format ==
"text")
208 raise(
"invalid format: ",
format);
214 template<
unsigned version = version::fsm_json>
232 template<
unsigned version = version::fsm_json>
246 template<
unsigned version = version::fsm_json>
263 inline n join(
const n&,
const n&) {
return {}; }
265 inline n join(
const b&,
const n&) {
return {}; }
266 inline n join(
const n&,
const b&) {
return {}; }
virtual int to_int() const
Coerces this node_t to int.
Definition: node.hh:319
object_t * push_back(std::string key, node_t *node)
The Boolean semring.
Definition: b.hh:38
bool value_t
Definition: b.hh:56
The semiring of Natural numbers.
Definition: n.hh:33
constexpr static value_t zero()
Definition: n.hh:57
static constexpr bool is_commutative_semiring()
Definition: n.hh:140
static std::ostream & print(const value_t v, std::ostream &o, const std::string &fmt="text")
Definition: n.hh:194
static value_t value_from_json(json::node_t const *p)
Definition: n.hh:216
static bool less_than(value_t lhs, value_t rhs)
Whether lhs < rhs.
Definition: n.hh:135
static value_t mul(const value_t l, const value_t r)
Definition: n.hh:82
static constexpr star_status_t star_status()
Definition: n.hh:143
value_t parse(const std::string &s, size_t &p) const
Definition: n.hh:170
static value_t conv(std::istream &stream)
Definition: n.hh:184
constexpr static bool is_special(value_t)
Definition: n.hh:111
static value_t conv(self_type, value_t v)
Definition: n.hh:157
std::ostream & print_set(std::ostream &o, const std::string &format="text") const
Definition: n.hh:201
static std::string sname()
Definition: n.hh:37
unsigned int value_t
Definition: n.hh:54
static bool equals(const value_t l, const value_t r)
Definition: n.hh:129
static value_t rdiv(const value_t l, const value_t r)
Definition: n.hh:88
static value_t conv(b, b::value_t v)
Definition: n.hh:163
value_t star(const value_t v) const
Definition: n.hh:103
static value_t add(const value_t l, const value_t r)
Definition: n.hh:69
static value_t ldiv(const value_t l, const value_t r)
Definition: n.hh:97
static bool is_zero(const value_t v)
Definition: n.hh:117
static constexpr bool show_one()
Definition: n.hh:142
json::node_t * value_to_json(value_t v) const
Definition: n.hh:234
constexpr static value_t one()
Definition: n.hh:63
json::object_t * to_json() const
Definition: n.hh:248
std::string vname(bool=true) const
Definition: n.hh:42
static size_t hash(value_t v)
Definition: n.hh:151
static bool is_one(const value_t v)
Definition: n.hh:123
static value_t sub(const value_t l, const value_t r)
Definition: n.hh:75
static value_t transpose(const value_t v)
Definition: n.hh:146
static n make(std::istream &is)
Build from the description in is.
Definition: n.hh:48
The semiring of floating Numbers.
Definition: r.hh:34
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
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