17 #ifndef AWALI_WEIGHTSET_R_HH
18 # define AWALI_WEIGHTSET_R_HH
44 std::string
vname(
bool =
true)
const
107 raise(
sname(),
": star: invalid value: ",
format(*
this, v));
147 return v < 0 ? -v : v;
202 parse(
const std::string & s,
size_t& p) {
208 const std::string& =
"text")
219 else if (
format ==
"text")
222 raise(
"invalid format: ",
format);
226 template<
unsigned version = version::fsm_json>
230 version::check_fsmjson<version>();
239 template<
unsigned version = version::fsm_json>
243 version::check_fsmjson<version>();
252 template<
unsigned version = version::fsm_json>
256 version::check_fsmjson<version>();
267 inline r join(
const r&,
const r&) {
return {}; }
269 inline r join(
const q&,
const r&) {
return {}; }
270 inline r join(
const r&,
const q&) {
return {}; }
272 inline r join(
const z&,
const r&) {
return {}; }
273 inline r join(
const r&,
const z&) {
return {}; }
275 inline r join(
const n&,
const r&) {
return {}; }
276 inline r join(
const r&,
const n&) {
return {}; }
278 inline r join(
const b&,
const r&) {
return {}; }
279 inline r join(
const r&,
const b&) {
return {}; }
virtual double to_double() const
Coerces this node_t to a double
Definition: node.hh:343
Definition: qfraction.hh:26
den_t den
Definition: qfraction.hh:32
num_t num
Definition: qfraction.hh:31
The Boolean semring.
Definition: b.hh:38
bool value_t
Definition: b.hh:56
The semiring of Natural numbers.
Definition: n.hh:34
unsigned int value_t
Definition: n.hh:55
The semiring of rational numbers.
Definition: q.hh:42
The semiring of floating Numbers.
Definition: r.hh:35
std::string vname(bool=true) const
Definition: r.hh:44
static std::string sname()
Definition: r.hh:39
static json::node_t * to_json()
Definition: r.hh:228
static value_t rdiv(const value_t l, const value_t r)
Definition: r.hh:89
static value_t ldiv(const value_t l, const value_t r)
Definition: r.hh:96
static constexpr star_status_t star_status()
Definition: r.hh:142
static value_t transpose(const value_t v)
Definition: r.hh:151
constexpr static bool is_special(value_t)
Definition: r.hh:110
static bool equals(const value_t l, const value_t r)
Definition: r.hh:128
double value_t
Definition: r.hh:56
static constexpr bool show_one()
Definition: r.hh:141
static value_t one()
Definition: r.hh:65
json::node_t * value_to_json(value_t v) const
Definition: r.hh:240
static size_t hash(value_t v)
Definition: r.hh:156
static std::ostream & print(const value_t v, std::ostream &o, const std::string &="text")
Definition: r.hh:207
static value_t conv(self_type, value_t v)
Definition: r.hh:162
std::ostream & print_set(std::ostream &o, const std::string &format="text") const
Definition: r.hh:215
static value_t conv(z, z::value_t v)
Definition: r.hh:174
static value_t sub(const value_t l, const value_t r)
Definition: r.hh:77
static value_t conv(q, q::value_t v)
Definition: r.hh:168
static value_t conv(b, b::value_t v)
Definition: r.hh:186
static value_t add(const value_t l, const value_t r)
Definition: r.hh:71
static value_t conv(n, n::value_t v)
Definition: r.hh:180
static bool is_zero(const value_t v)
Definition: r.hh:116
static value_t abs(const value_t v)
Definition: r.hh:145
static constexpr bool is_commutative_semiring()
Definition: r.hh:139
static value_t zero()
Definition: r.hh:59
value_t star(const value_t v) const
Definition: r.hh:102
static bool less_than(value_t lhs, value_t rhs)
Whether lhs < rhs.
Definition: r.hh:134
static bool is_one(const value_t v)
Definition: r.hh:122
static value_t mul(const value_t l, const value_t r)
Definition: r.hh:83
static value_t conv(std::istream &i)
Definition: r.hh:192
value_t value_from_json(json::node_t const *p) const
Definition: r.hh:253
static r make(std::istream &is)
Build from the description in is.
Definition: r.hh:50
static value_t parse(const std::string &s, size_t &p)
Definition: r.hh:202
The semiring of Integers.
Definition: z.hh:35
int value_t
Definition: z.hh:56
star_status_t
The different behaviours a weightset may have with respect to the star.
Definition: enums.hh:163
@ ABSVAL
Definition: enums.hh:168
double lr_parse_double(std::string const &s, size_t &p, bool allow_empty=false, double value_if_empty=0)
Reads a double left of position p in string, by using as many characters as possible.
Definition: lr_parse_number.hh:409
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:445
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