1 #ifndef VCSN_WEIGHTSET_B_HH
2 # define VCSN_WEIGHTSET_B_HH
31 std::string
vname(
bool =
true)
const
149 if (i == 0 || i == 1)
163 if (format ==
"latex")
164 o << (v ?
"\\top" :
"\\bot");
166 o << (v ?
'1' :
'0');
173 if (format ==
"latex")
175 else if (format ==
"text")
178 raise(
"invalid format: ", format);
191 #endif // !VCSN_WEIGHTSET_B_HH
static constexpr bool is_commutative()
static bool less_than(value_t lhs, value_t rhs)
Whether lhs < rhs.
static std::string sname()
static bool is_zero(const value_t v)
static value_t add(const value_t l, const value_t r)
static bool is_one(const value_t v)
static size_t hash(value_t v)
static value_t conv(self_type, value_t v)
std::string to_string(identities i)
static constexpr bool show_one()
static constexpr star_status_t star_status()
static constexpr bool is_special(value_t)
boost::flyweight< std::string, boost::flyweights::no_tracking > symbol
An internalized string.
variadic_mul_mixin< detail::b_impl > b
static value_t ldiv(const value_t l, const value_t r)
std::size_t hash_value(const T &v)
static bool equals(const value_t l, const value_t r)
static value_t transpose(const value_t v)
static value_t conv(std::istream &is)
std::string vname(bool=true) const
std::istringstream is
The input stream: the specification to translate.
static value_t star(const value_t)
static value_t mul(const value_t l, const value_t r)
static b make(std::istream &is)
Build from the description in is.
Provide a variadic mul on top of a binary mul(), and one().
std::ostream & print_set(std::ostream &o, symbol format=symbol{"text"}) const
static constexpr bool is_idempotent()
char eat(std::istream &is, char c)
Check lookahead character and advance.
static std::ostream & print(const value_t v, std::ostream &o, symbol format=symbol{"text"})
ATTRIBUTE_NORETURN void fail_reading(std::istream &is, std::string explanation)
Throw an exception after failing to read from is.
static value_t rdiv(const value_t l, const value_t r)
variadic_mul_mixin< detail::r_impl > r
void require(bool b, Args &&...args)
If b is not verified, raise an error with args as message.