![]() |
Awali
Another Weighted Automata library
|
objets that represent the alphabets of letters as char More...
#include <setalpha.hh>
Public Types | |
| using | const_iterator = typename letters_t::const_iterator |
| using | iterator = typename letters_t::const_iterator |
| using | letter_t = typename L::letter_t |
| using | letters_t = std::set< letter_t > |
| using | value_type = letter_t |
| The type of our values, when seen as a container. More... | |
Public Member Functions | |
| set_alphabet ()=default | |
| set_alphabet (const letters_t &l) | |
| set_alphabet (const set_alphabet &)=default | |
| set_alphabet (const std::initializer_list< letter_t > &l) | |
| set_alphabet & | add_letter (letter_t l) |
| Modify this by adding l, and return *this. More... | |
| const_iterator | begin () const |
| const_iterator | cbegin () const |
| const_iterator | cend () const |
| set_alphabet & | clear () |
| const_iterator | end () const |
| const_iterator | find (letter_t l) const |
| bool | has (letter_t l) const |
| Whether l is a letter. More... | |
| bool | open (bool o) const |
| Whether unknown letters should be added, or rejected. More... | |
| std::ostream & | print_set (std::ostream &o, const std::string &format="text") const |
| set_alphabet & | remove_letter (letter_t l) |
| unsigned | size () const |
| template<unsigned version = version::fsm_json> | |
| json::object_t * | to_json () const |
| virtual std::string | vname (bool full=true) const |
Static Public Member Functions | |
| static std::string | sname () |
objets that represent the alphabets of letters as char
| L | the type of letters |
L is actually char_letters
| using awali::sttc::set_alphabet< L >::const_iterator = typename letters_t::const_iterator |
| using awali::sttc::set_alphabet< L >::iterator = typename letters_t::const_iterator |
| using awali::sttc::set_alphabet< L >::letter_t = typename L::letter_t |
| using awali::sttc::set_alphabet< L >::letters_t = std::set<letter_t> |
| using awali::sttc::set_alphabet< L >::value_type = letter_t |
The type of our values, when seen as a container.
|
default |
|
default |
| awali::sttc::set_alphabet< L >::set_alphabet | ( | const std::initializer_list< letter_t > & | l | ) |
| awali::sttc::set_alphabet< L >::set_alphabet | ( | const letters_t & | l | ) |
| set_alphabet& awali::sttc::set_alphabet< L >::add_letter | ( | letter_t | l | ) |
Modify this by adding l, and return *this.
| const_iterator awali::sttc::set_alphabet< L >::begin | ( | ) | const |
| const_iterator awali::sttc::set_alphabet< L >::cbegin | ( | ) | const |
| const_iterator awali::sttc::set_alphabet< L >::cend | ( | ) | const |
| set_alphabet& awali::sttc::set_alphabet< L >::clear | ( | ) |
| const_iterator awali::sttc::set_alphabet< L >::end | ( | ) | const |
| const_iterator awali::sttc::set_alphabet< L >::find | ( | letter_t | l | ) | const |
| bool awali::sttc::set_alphabet< L >::has | ( | letter_t | l | ) | const |
Whether l is a letter.
| bool awali::sttc::set_alphabet< L >::open | ( | bool | o | ) | const |
Whether unknown letters should be added, or rejected.
| o | whether to accept |
| std::ostream& awali::sttc::set_alphabet< L >::print_set | ( | std::ostream & | o, |
| const std::string & | format = "text" |
||
| ) | const |
| set_alphabet& awali::sttc::set_alphabet< L >::remove_letter | ( | letter_t | l | ) |
| unsigned awali::sttc::set_alphabet< L >::size | ( | ) | const |
|
static |
| json::object_t* awali::sttc::set_alphabet< L >::to_json | ( | ) | const |
|
virtual |