![]() |
Vcsn
2.3a
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 = bool |
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... | |
value_t | conv (std::istream &i, bool=true) const |
template<typename Fun > | |
void | convs (std::istream &, Fun) const |
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 l, const value_t r) |
Whether l == r. More... | |
static bool | less (const value_t l, const value_t r) |
Whether l < r. More... | |
static value_t | special () |
static bool | is_special (const value_t v) |
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 value_t | one () |
static bool | is_one (const value_t v) |
static value_t | transpose (const value_t v) |
static bool | is_letter (const value_t) |
static value_t | mul (value_t l, value_t r) |
static std::ostream & | print (const value_t, std::ostream &o=std::cout, format={}) |
static size_t | size (value_t) |
static size_t | hash (value_t v) |
static value_t | conv (self_t, value_t v) |
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 = bool |
|
default |
|
inline |
Convert from labelset to oneset.
Definition at line 152 of file oneset.hh.
References one(), vcsn::to_string(), and VCSN_REQUIRE.
|
inline |
Definition at line 161 of file oneset.hh.
References one(), and vcsn::require().
|
inline |
|
inlinestatic |
|
inlinestatic |
Definition at line 138 of file oneset.hh.
References vcsn::detail::hash_value().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Build from the description in is.
Definition at line 33 of file oneset.hh.
References vcsn::labels_are_one::make().
|
inlinestatic |
Definition at line 102 of file oneset.hh.
Referenced by conv(), is_one(), vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::kept_label(), and vcsn::random_label().
|
inline |
|
inline |
|
inlinestatic |
|
inlinestatic |
Definition at line 73 of file oneset.hh.
Referenced by is_special().
|
inline |