![]() |
Vcsn
2.3a
Be Rational
|
Implementation of labels are words. More...
#include <fwd.hh>
Public Types | |
using | genset_t = GenSet |
using | super_t = detail::genset_labelset< genset_t > |
using | self_t = wordset |
using | genset_ptr = std::shared_ptr< const genset_t > |
using | letter_t = typename genset_t::letter_t |
using | word_t = typename genset_t::word_t |
using | value_t = word_t |
using | kind_t = labels_are_words |
![]() | |
using | genset_t = GenSet |
using | genset_ptr = std::shared_ptr< const genset_t > |
using | letter_t = typename genset_t::letter_t |
using | word_t = typename genset_t::word_t |
using | letters_t = typename genset_t::letters_t |
Public Member Functions | |
wordset (const genset_ptr &gs) | |
wordset (const genset_t &gs={}) | |
wordset (std::initializer_list< letter_t > letters) | |
bool | open (bool o) const |
Whether unknown letters should be added, or rejected. More... | |
template<typename... Args> | |
value_t | value (Args &&...args) const |
Value constructor. More... | |
word_t | word (const value_t &v) const |
Convert to a word. More... | |
bool | is_valid (const value_t &v) const |
value_t | conv (self_t, const value_t &v) const |
template<typename GenSet_ > | |
value_t | conv (const letterset< GenSet_ > &ls, typename letterset< GenSet_ >::value_t v) const |
template<typename LabelSet_ > | |
value_t | conv (const nullableset< LabelSet_ > &ls, const typename nullableset< LabelSet_ >::value_t &v) const |
value_t | conv (std::istream &i, bool=true) const |
Read a word from this stream. More... | |
template<typename Fun > | |
void | convs (std::istream &i, Fun fun) const |
Process a label class. More... | |
std::ostream & | print (const value_t &l, std::ostream &o=std::cout, format fmt={}) const |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
value_t | ldivide (const value_t &w1, const value_t &w2) const |
Compute w1 \ w2 = w1^{-1}w2. More... | |
boost::optional< value_t > | maybe_ldivide (const value_t &w1, const value_t &w2) const |
value_t & | ldivide_here (const value_t &w1, value_t &w2) const |
w2 := w1 \ w2. More... | |
value_t | rdivide (const value_t &w1, const value_t &w2) const |
Compute w1 / w2. More... | |
boost::optional< value_t > | maybe_rdivide (const value_t &w1, const value_t &w2) const |
value_t & | rdivide_here (value_t &w1, const value_t &w2) const |
w1 := w1 / w2. More... | |
const value_t & | conjunction (const value_t &l, const value_t &r) const |
![]() | |
genset_labelset (const genset_ptr &gs) | |
genset_labelset (const genset_t &gs={}) | |
genset_ptr | genset () const |
const genset_t & | generators () const |
template<typename Fun > | |
void | convs_ (std::istream &i, Fun fun) const |
Read and process a class of letters. More... | |
letter_t | get_letter (std::istream &i, bool quoted=true) const |
Read one letter from i. More... | |
template<typename... Args> | |
auto | begin (Args &&...args) const -> decltype(this->genset() -> begin(std::forward< Args >(args)...)) |
template<typename... Args> | |
auto | delimit (Args &&...args) const -> decltype(this->genset() -> delimit(std::forward< Args >(args)...)) |
template<typename... Args> | |
auto | end (Args &&...args) const -> decltype(this->genset() -> end(std::forward< Args >(args)...)) |
template<typename... Args> | |
ATTRIBUTE_PURE auto | equal (Args &&...args) const -> decltype(this->genset() -> equal(std::forward< Args >(args)...)) |
template<typename... Args> | |
auto | get_word (Args &&...args) const -> decltype(this->genset() -> get_word(std::forward< Args >(args)...)) |
template<typename... Args> | |
ATTRIBUTE_PURE auto | has (Args &&...args) const -> decltype(this->genset() -> has(std::forward< Args >(args)...)) |
template<typename... Args> | |
ATTRIBUTE_PURE auto | is_letter (Args &&...args) const -> decltype(this->genset() -> is_letter(std::forward< Args >(args)...)) |
template<typename... Args> | |
ATTRIBUTE_PURE auto | less (Args &&...args) const -> decltype(this->genset() -> less(std::forward< Args >(args)...)) |
template<typename... Args> | |
auto | mul (Args &&...args) const -> decltype(this->genset() -> mul(std::forward< Args >(args)...)) |
template<typename... Args> | |
ATTRIBUTE_PURE auto | transpose (Args &&...args) const -> decltype(this->genset() -> transpose(std::forward< Args >(args)...)) |
template<typename... Args> | |
auto | undelimit (Args &&...args) const -> decltype(this->genset() -> undelimit(std::forward< Args >(args)...)) |
Static Public Member Functions | |
static symbol | sname () |
static wordset | make (std::istream &is) |
Build from the description in is. More... | |
static constexpr bool | is_free () |
static word_t | letters_of (const value_t &v) |
Prepare to iterate over the letters of v. More... | |
static word_t | letters_of_padded (const value_t &v, letter_t) |
Prepare to iterate over the letters of v. More... | |
static bool | equal (const value_t &l, const value_t &r) |
Whether l == r. More... | |
static bool | less (const letter_t &l, const letter_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) |
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 &l) ATTRIBUTE_PURE |
static size_t | size (const value_t &v) |
static size_t | hash (const value_t &v) |
static value_t | lgcd (const value_t &w1, const value_t &w2) |
The longest common prefix. More... | |
![]() | |
static symbol | sname () |
Implementation of labels are words.
using vcsn::wordset< GenSet >::genset_ptr = std::shared_ptr<const genset_t> |
Definition at line 29 of file wordset.hh.
using vcsn::wordset< GenSet >::genset_t = GenSet |
Definition at line 26 of file wordset.hh.
using vcsn::wordset< GenSet >::kind_t = labels_are_words |
Definition at line 36 of file wordset.hh.
using vcsn::wordset< GenSet >::letter_t = typename genset_t::letter_t |
Definition at line 31 of file wordset.hh.
using vcsn::wordset< GenSet >::self_t = wordset |
Definition at line 28 of file wordset.hh.
using vcsn::wordset< GenSet >::super_t = detail::genset_labelset<genset_t> |
Definition at line 27 of file wordset.hh.
using vcsn::wordset< GenSet >::value_t = word_t |
Definition at line 34 of file wordset.hh.
using vcsn::wordset< GenSet >::word_t = typename genset_t::word_t |
Definition at line 32 of file wordset.hh.
|
inline |
Definition at line 38 of file wordset.hh.
|
inline |
Definition at line 42 of file wordset.hh.
|
inline |
Definition at line 46 of file wordset.hh.
|
inline |
Definition at line 357 of file wordset.hh.
|
inline |
Definition at line 200 of file wordset.hh.
References vcsn::v.
Referenced by vcsn::wordset< GenSet >::conv().
|
inline |
Definition at line 207 of file wordset.hh.
References vcsn::letterset< GenSet >::is_special(), vcsn::wordset< GenSet >::is_valid(), vcsn::res, vcsn::wordset< GenSet >::special(), vcsn::str_escape(), vcsn::wordset< GenSet >::value(), and VCSN_REQUIRE.
|
inline |
Definition at line 223 of file wordset.hh.
References vcsn::wordset< GenSet >::conv(), vcsn::nullableset< LabelSet >::get_value(), vcsn::nullableset< LabelSet >::is_one(), vcsn::nullableset< LabelSet >::labelset(), and vcsn::wordset< GenSet >::one().
|
inline |
Read a word from this stream.
Definition at line 234 of file wordset.hh.
References vcsn::detail::genset_labelset< GenSet >::genset().
|
inline |
Process a label class.
Stream i is right on a [
. Read up to the closing ]
, and process the labels.
For instance "[a-d0-9_]".
i | the input stream. |
fun | a (label_t) -> void function. |
Definition at line 249 of file wordset.hh.
References vcsn::detail::genset_labelset< GenSet >::convs_(), and vcsn::wordset< GenSet >::value().
|
inlinestatic |
Whether l == r.
Definition at line 111 of file wordset.hh.
|
inlinestatic |
Definition at line 164 of file wordset.hh.
|
inlinestatic |
Definition at line 194 of file wordset.hh.
References vcsn::detail::hash_value().
|
inlinestatic |
Definition at line 158 of file wordset.hh.
|
inlinestatic |
Definition at line 76 of file wordset.hh.
|
inlinestatic |
Definition at line 170 of file wordset.hh.
|
inlinestatic |
Definition at line 182 of file wordset.hh.
|
inlinestatic |
Definition at line 143 of file wordset.hh.
References vcsn::wordset< GenSet >::special().
|
inline |
Definition at line 149 of file wordset.hh.
References vcsn::detail::genset_labelset< GenSet >::has().
Referenced by vcsn::wordset< GenSet >::conv().
|
inline |
Compute w1 \ w2 = w1^{-1}w2.
Precondition: w1 is prefix of w2.
Definition at line 301 of file wordset.hh.
|
inline |
w2 := w1 \ w2.
Definition at line 322 of file wordset.hh.
|
inlinestatic |
Whether l < r.
Definition at line 117 of file wordset.hh.
|
inlinestatic |
Whether l < r.
Definition at line 123 of file wordset.hh.
References vcsn::wordset< GenSet >::size().
|
inlinestatic |
Prepare to iterate over the letters of v.
Definition at line 96 of file wordset.hh.
References vcsn::v.
|
inlinestatic |
Prepare to iterate over the letters of v.
This is for the padded case
Definition at line 104 of file wordset.hh.
References vcsn::v.
|
inlinestatic |
The longest common prefix.
Definition at line 294 of file wordset.hh.
|
inlinestatic |
Build from the description in is.
Definition at line 57 of file wordset.hh.
References vcsn::eat().
|
inline |
Definition at line 312 of file wordset.hh.
|
inline |
Definition at line 341 of file wordset.hh.
|
inlinestatic |
Definition at line 176 of file wordset.hh.
Referenced by vcsn::wordset< GenSet >::conv().
|
inline |
Whether unknown letters should be added, or rejected.
o | whether to accept |
Definition at line 71 of file wordset.hh.
References vcsn::detail::genset_labelset< GenSet >::genset().
|
inline |
Definition at line 255 of file wordset.hh.
|
inline |
Definition at line 268 of file wordset.hh.
|
inline |
|
inline |
w1 := w1 / w2.
Definition at line 351 of file wordset.hh.
|
inlinestatic |
Definition at line 187 of file wordset.hh.
Referenced by vcsn::wordset< GenSet >::less().
|
inlinestatic |
Definition at line 50 of file wordset.hh.
References vcsn::res, and vcsn::detail::genset_labelset< GenSet >::sname().
|
inlinestatic |
Definition at line 137 of file wordset.hh.
Referenced by vcsn::wordset< GenSet >::conv(), and vcsn::wordset< GenSet >::is_special().
|
inline |
Value constructor.
Definition at line 83 of file wordset.hh.
Referenced by vcsn::wordset< GenSet >::conv(), and vcsn::wordset< GenSet >::convs().
|
inline |