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 override |
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 |
|
overridevirtual |