![]() |
Vcsn
2.1
Be Rational
|
Implementation of labels are ones: there is a single instance of label. More...
#include <oneset.hh>
Public Types | |
using | self_t = oneset |
using | value_t = vcsn::empty_t |
using | kind_t = labels_are_one |
Public Member Functions | |
oneset ()=default | |
bool | open (bool o) const |
Does not make a lot of sense. More... | |
template<typename... Args> | |
value_t | value (Args &&...args) const |
Value constructor. More... | |
template<typename LabelSet > | |
value_t | conv (const LabelSet &ls, typename LabelSet::value_t v) const |
Convert from labelset to oneset. More... | |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
Static Public Member Functions | |
static symbol | sname () |
static oneset | make (std::istream &is) |
Build from the description in is. More... | |
static constexpr bool | is_free () |
static bool | equal (const value_t, const value_t) |
Whether l == r. More... | |
static bool | less (const value_t, const value_t) |
Whether l < r. More... | |
static value_t | special () |
static constexpr bool | is_special (value_t) |
The special label is indistinguishable for the others. More... | |
static constexpr bool | is_expressionset () |
static constexpr bool | has_one () |
static constexpr bool | is_letterized () |
static empty_t | one () |
static bool | is_one (empty_t) |
static empty_t | transpose (empty_t) |
static bool | is_letter (empty_t) |
static empty_t | mul (empty_t, empty_t) |
static std::ostream & | print (empty_t, std::ostream &o, format={}) |
static size_t | size (value_t) |
static size_t | hash (value_t v) |
static value_t | conv (self_t, value_t v) |
static value_t | conv (std::istream &i, bool=true) |
template<typename Fun > | |
static void | convs (std::istream &, Fun) |
Implementation of labels are ones: there is a single instance of label.
using vcsn::oneset::kind_t = labels_are_one |
using vcsn::oneset::self_t = oneset |
using vcsn::oneset::value_t = vcsn::empty_t |
|
default |
|
inline |
Convert from labelset to oneset.
Definition at line 154 of file oneset.hh.
References vcsn::require(), sname(), and vcsn::to_string().
|
inlinestatic |
Definition at line 163 of file oneset.hh.
References vcsn::require().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 140 of file oneset.hh.
References vcsn::hash_value().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Build from the description in is.
Definition at line 34 of file oneset.hh.
References vcsn::labels_are_one::make().
|
inlinestatic |
Definition at line 104 of file oneset.hh.
Referenced by vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::kept_label(), and vcsn::random_label().
|
inline |
|
inline |
|
inlinestatic |
|
inline |