1 #ifndef VCSN_WEIGHTSET_ZMIN_HH
2 # define VCSN_WEIGHTSET_ZMIN_HH
28 std::string
vname(
bool =
true)
const
50 if (format ==
"latex")
51 o <<
"\\mathbb{Z}_{\\text{min}}";
52 else if (format ==
"text")
55 raise(
"invalid format: ", format);
65 #endif // !VCSN_WEIGHTSET_ZMIN_HH
variadic_mul_mixin< detail::zmin_impl > zmin
typename super_t::value_t value_t
std::ostream & print_set(std::ostream &o, symbol format=symbol{"text"}) const
static value_t conv(self_type, value_t v)
boost::flyweight< std::string, boost::flyweights::no_tracking > symbol
An internalized string.
variadic_mul_mixin< detail::b_impl > b
std::istringstream is
The input stream: the specification to translate.
static zmin make(std::istream &is)
Build from the description in is.
Provide a variadic mul on top of a binary mul(), and one().
static value_t conv(b, b::value_t v)
char eat(std::istream &is, char c)
Check lookahead character and advance.
static std::string sname()
std::string vname(bool=true) const