17 #ifndef AWALI_WEIGHTSET_MAXMIN_HH
18 # define AWALI_WEIGHTSET_MAXMIN_HH
51 std::string
vname(
bool =
true)
const
82 raise(
sname(),
"No division");
88 raise(
sname(),
"No division");
169 switch (
int i = stream.peek())
173 if ((i = stream.get()) ==
'o')
176 throw std::domain_error(
sname() +
": invalid value: o" +
str_escape(i));
178 if ((i = stream.get()) ==
'o')
179 if ((i = stream.get()) ==
'o')
182 throw std::domain_error(
sname() +
": invalid value: -o" +
str_escape(i));
197 parse(
const std::string & s,
size_t& p) {
200 for(; i>0 && ((s[i-1]>=
'0' && s[i-1]<=
'9') || s[i-1]==
'e' || s[i-1]==
'E' || s[i-1]==
'.' || s[i-1]==
'+' || s[i-1]==
'-'); --i)
204 std::istringstream st(s.substr(i, p-i));
213 const std::string&
format =
"text")
237 o <<
"\\mathbb{R}_{\\max,\\min}";
238 else if (
format ==
"text")
241 raise(
"invalid format: ",
format);
246 template<
unsigned version = version::fsm_json>
263 template<
unsigned version = version::fsm_json>
277 template<
unsigned version = version::fsm_json>
296 "Cannot be coerced to a value of Z-min-max",
297 "maxmin::value_from_json",
Exception used when trying to coerce a node to a given type.
Definition: node.hh:143
virtual double to_double() const
Coerces this node_t to a double
Definition: node.hh:343
virtual std::string to_string() const
Coerces this node_t to an std::string.
Definition: node.hh:331
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 max-min semiring over floating numbers.
Definition: maxmin.hh:42
static std::string sname()
Definition: maxmin.hh:46
static json::node_t * to_json()
Definition: maxmin.hh:248
static constexpr star_status_t star_status()
Definition: maxmin.hh:141
static constexpr bool is_commutative_semiring()
Definition: maxmin.hh:138
static value_t zero()
Definition: maxmin.hh:104
static value_t conv(b, b::value_t v)
Definition: maxmin.hh:161
value_t value_from_json(json::node_t const *p) const
Definition: maxmin.hh:278
static value_t one()
Definition: maxmin.hh:98
double value_t
Definition: maxmin.hh:63
constexpr static bool is_special(value_t)
Definition: maxmin.hh:121
static value_t transpose(const value_t v)
Definition: maxmin.hh:144
std::ostream & print_set(std::ostream &o, const std::string &format="text") const
Definition: maxmin.hh:234
value_t star(const value_t v) const
Definition: maxmin.hh:92
json::node_t * value_to_json(value_t v) const
Definition: maxmin.hh:264
static bool less_than(value_t lhs, value_t rhs)
Whether lhs < rhs.
Definition: maxmin.hh:116
static bool is_zero(const value_t v)
Definition: maxmin.hh:127
static value_t mul(const value_t l, const value_t r)
Definition: maxmin.hh:74
bool locally_finite_t
Definition: maxmin.hh:64
static size_t hash(value_t v)
Definition: maxmin.hh:149
static value_t conv(std::istream &stream)
Definition: maxmin.hh:167
static const locally_finite_t locally_finite
Definition: maxmin.hh:65
static value_t conv(self_type, value_t v)
Definition: maxmin.hh:155
static value_t add(const value_t l, const value_t r)
Definition: maxmin.hh:68
static bool is_one(const value_t v)
Definition: maxmin.hh:133
static bool equals(const value_t l, const value_t r)
Definition: maxmin.hh:110
static value_t ldiv(const value_t l, const value_t r)
Definition: maxmin.hh:86
static std::ostream & print(const value_t v, std::ostream &o, const std::string &format="text")
Definition: maxmin.hh:212
static value_t parse(const std::string &s, size_t &p)
Definition: maxmin.hh:197
static value_t rdiv(const value_t l, const value_t r)
Definition: maxmin.hh:80
static maxmin make(std::istream &is)
Build from the description in is.
Definition: maxmin.hh:57
static constexpr bool show_one()
Definition: maxmin.hh:140
std::string vname(bool=true) const
Definition: maxmin.hh:51
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:163
@ STARRABLE
The star of every element exists.
Definition: enums.hh:165
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:445
std::ostream & str_escape(std::ostream &os, const int c)
Definition: escape.hh:30
auto format(const ValueSet &vs, const typename ValueSet::value_t &v, Args &&... args) -> std::string
Format v via vs.print.
Definition: stream.hh:109
std::size_t hash_value(const T &v)
Definition: hash.hh:76
ATTRIBUTE_CONST int max(int a, int b)
Definition: arith.hh:54
ATTRIBUTE_CONST int min(int a, int b)
Definition: arith.hh:48
Main namespace of Awali.
Definition: ato.hh:22
Exceptions thrown during parsing.
Definition: parse_exception.hh:26