A set of letters of type L. More...

#include <setalpha.hh>

Inheritance diagram for vcsn::set_alphabet< L >:

Collaboration diagram for vcsn::set_alphabet< L >:

Classes
struct	has_range
	Whether the genset supports the range concept: whether we can use '++' on letters. More...

struct	has_range< Letter, decltype((++std::declval< Letter & >(), void()))>

Public Types
using	letter_t = typename L::letter_t

using	word_t = typename L::word_t

using	letters_t = boost::container::flat_set< letter_t, vcsn::less< L, letter_t >>

using	value_type = letter_t
	The type of our values, when seen as a container. More...

using	iterator = typename letters_t::const_iterator

using	const_iterator = typename letters_t::const_iterator

Public Member Functions
	set_alphabet ()=default

	set_alphabet (const set_alphabet &)=default

	set_alphabet (std::initializer_list< letter_t > l)

	set_alphabet (const letters_t &l)

bool	open (bool o) const
	Whether unknown letters should be added, or rejected. More...

set_alphabet &	add_letter (letter_t l)
	Modify this by adding l, and return *this. More...

auto	add_range (letter_t l1, letter_t l2) -> set_alphabet &
	Add a range of letters, if it is accepted by the labelset. More...

template<typename Letter >
auto	add_range_ (Letter l1, Letter l2) -> std::enable_if_t< has_range< Letter >

set_alphabet &	if (L::equal(l1, l2)) add_letter(l1)

template<typename Letter >
auto	add_range_ (Letter, Letter) -> std::enable_if_t<!has_range< Letter >

set_alphabet &bool	has (letter_t l) const
	Whether l is a letter. More...

word_t	get_word (std::istream &i) const
	Extract and return the next word from i. More...

const_iterator	begin () const

const_iterator	end () const

const_iterator	cbegin () const

const_iterator	cend () const

bool	empty () const
	Whether this alphabet has no letters. More...

const_iterator	find (letter_t l) const

std::ostream &	print_set (std::ostream &o, format fmt={}) const

Static Public Member Functions
static symbol	sname ()

static set_alphabet	make (std::istream &is)

Public Attributes
return *	this

Private Attributes
letters_t	alphabet_

bool	open_ = false

Friends
set_alphabet	set_intersection (const set_alphabet &lhs, const set_alphabet &rhs)
	Compute the intersection with another alphabet. More...

set_alphabet	set_union (const set_alphabet &lhs, const set_alphabet &rhs)
	Compute the union with another alphabet. More...

Detailed Description

template<typename L>
class vcsn::set_alphabet< L >

A set of letters of type L.

L is not simply char or so. Rather, see char_letters.

Definition at line 35 of file setalpha.hh.

Member Typedef Documentation

template<typename L >

using vcsn::set_alphabet< L >::const_iterator = typename letters_t::const_iterator

Definition at line 245 of file setalpha.hh.

template<typename L >

using vcsn::set_alphabet< L >::iterator = typename letters_t::const_iterator

Definition at line 244 of file setalpha.hh.

template<typename L >

using vcsn::set_alphabet< L >::letter_t = typename L::letter_t

Definition at line 38 of file setalpha.hh.

template<typename L >

using vcsn::set_alphabet< L >::letters_t = boost::container::flat_set<letter_t, vcsn::less<L, letter_t>>

Definition at line 41 of file setalpha.hh.

template<typename L >

using vcsn::set_alphabet< L >::value_type = letter_t

The type of our values, when seen as a container.

Definition at line 43 of file setalpha.hh.

template<typename L >

using vcsn::set_alphabet< L >::word_t = typename L::word_t

Definition at line 39 of file setalpha.hh.

Constructor & Destructor Documentation

template<typename L >

vcsn::set_alphabet< L >::set_alphabet ( )

default

template<typename L >

vcsn::set_alphabet< L >::set_alphabet ( const set_alphabet< L > & )

default

template<typename L >

vcsn::set_alphabet< L >::set_alphabet ( std::initializer_list< letter_t > l )

inline

Definition at line 116 of file setalpha.hh.

template<typename L >

vcsn::set_alphabet< L >::set_alphabet ( const letters_t & l )

inline

Definition at line 123 of file setalpha.hh.

Member Function Documentation

template<typename L >

set_alphabet& vcsn::set_alphabet< L >::add_letter ( letter_t l )

inline

Modify this by adding l, and return *this.

Definition at line 138 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_, and vcsn::require().

Referenced by vcsn::set_alphabet< L >::has(), and vcsn::set_alphabet< L >::make().

Here is the call graph for this function:

template<typename L >

auto vcsn::set_alphabet< L >::add_range	(	letter_t	l1,
		letter_t	l2
	)		-> set_alphabet&

inline

Add a range of letters, if it is accepted by the labelset.

Definition at line 158 of file setalpha.hh.

Referenced by vcsn::set_alphabet< L >::make().

template<typename L >

template<typename Letter >

auto vcsn::set_alphabet< L >::add_range_	(	Letter	l1,
		Letter	l2
	)		-> std::enable_if_t<has_range<Letter>

inline

Definition at line 165 of file setalpha.hh.

template<typename L >

template<typename Letter >

auto vcsn::set_alphabet< L >::add_range_	(	Letter	,
		Letter
	)		-> std::enable_if_t<!has_range<Letter>

inline

Definition at line 179 of file setalpha.hh.

template<typename L >

const_iterator vcsn::set_alphabet< L >::begin ( ) const

inline

Definition at line 247 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

const_iterator vcsn::set_alphabet< L >::cbegin ( ) const

inline

Definition at line 257 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

const_iterator vcsn::set_alphabet< L >::cend ( ) const

inline

Definition at line 262 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

bool vcsn::set_alphabet< L >::empty ( ) const

inline

Whether this alphabet has no letters.

Definition at line 268 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

const_iterator vcsn::set_alphabet< L >::end ( ) const

inline

Definition at line 252 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

const_iterator vcsn::set_alphabet< L >::find ( letter_t l ) const

inline

Definition at line 273 of file setalpha.hh.

References vcsn::set_alphabet< L >::alphabet_.

template<typename L >

word_t vcsn::set_alphabet< L >::get_word ( std::istream & i ) const

inline

Extract and return the next word from i.

Definition at line 201 of file setalpha.hh.

References vcsn::set_alphabet< L >::has(), vcsn::require(), vcsn::str_escape(), and VCSN_REQUIRE.

Here is the call graph for this function:

template<typename L >

set_alphabet& bool vcsn::set_alphabet< L >::has ( letter_t l ) const

inline

Whether l is a letter.

Definition at line 187 of file setalpha.hh.

References vcsn::set_alphabet< L >::add_letter(), vcsn::set_alphabet< L >::alphabet_, vcsn::has(), and vcsn::set_alphabet< L >::open_.

Referenced by vcsn::set_alphabet< L >::get_word().

Here is the call graph for this function:

template<typename L >

set_alphabet& vcsn::set_alphabet< L >::if ( L:: equall1, l2 )

template<typename L >

static set_alphabet vcsn::set_alphabet< L >::make ( std::istream & is )

inlinestatic

Definition at line 51 of file setalpha.hh.

References vcsn::set_alphabet< L >::add_letter(), vcsn::set_alphabet< L >::add_range(), vcsn::eat(), vcsn::set_alphabet< L >::open_, and vcsn::set_alphabet< L >::sname().

Here is the call graph for this function:

template<typename L >

bool vcsn::set_alphabet< L >::open ( bool o ) const

inline

Whether unknown letters should be added, or rejected.

Parameters

o	whether to accept

Returns: the previous status.

Definition at line 130 of file setalpha.hh.

References vcsn::set_alphabet< L >::open_.

template<typename L >

std::ostream& vcsn::set_alphabet< L >::print_set	(	std::ostream &	o,
		format	fmt = `{}`
	)		const

inline

Definition at line 279 of file setalpha.hh.

template<typename L >

static symbol vcsn::set_alphabet< L >::sname ( )

inlinestatic

Definition at line 45 of file setalpha.hh.

References vcsn::sname().

Referenced by vcsn::set_alphabet< L >::make().

Here is the call graph for this function:

Friends And Related Function Documentation

template<typename L >

set_alphabet set_intersection	(	const set_alphabet< L > &	lhs,
		const set_alphabet< L > &	rhs
	)

friend

Compute the intersection with another alphabet.

Definition at line 331 of file setalpha.hh.

template<typename L >

set_alphabet set_union	(	const set_alphabet< L > &	lhs,
		const set_alphabet< L > &	rhs
	)

friend

Compute the union with another alphabet.

Definition at line 338 of file setalpha.hh.

Member Data Documentation

template<typename L >

letters_t vcsn::set_alphabet< L >::alphabet_

mutableprivate

Definition at line 345 of file setalpha.hh.

Referenced by vcsn::set_alphabet< L >::add_letter(), vcsn::set_alphabet< L >::begin(), vcsn::set_alphabet< L >::cbegin(), vcsn::set_alphabet< L >::cend(), vcsn::set_alphabet< L >::empty(), vcsn::set_alphabet< L >::end(), vcsn::set_alphabet< L >::find(), and vcsn::set_alphabet< L >::has().

template<typename L >

bool vcsn::set_alphabet< L >::open_ = false

mutableprivate

Definition at line 346 of file setalpha.hh.

Referenced by vcsn::set_alphabet< L >::has(), vcsn::set_alphabet< L >::make(), and vcsn::set_alphabet< L >::open().

template<typename L >

return* vcsn::set_alphabet< L >::this

Definition at line 175 of file setalpha.hh.

The documentation for this class was generated from the following file:

vcsn/alphabets/setalpha.hh

Classes

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Private Attributes

Friends

Detailed Description

template<typename L> class vcsn::set_alphabet< L >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation

template<typename L>
class vcsn::set_alphabet< L >