Implementation of labels are ones: there is a single instance of label. More...

#include <oneset.hh>

Collaboration diagram for vcsn::oneset:

Public Types
using	self_t = oneset

using	value_t = vcsn::empty_t

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...

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, const value_t)
	Whether l == r. More...

static bool	less (const value_t, const value_t)
	Whether l < r. More...

static value_t	special ()

static constexpr bool	is_special (value_t)
	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 empty_t	one ()

static bool	is_one (empty_t)

static empty_t	transpose (empty_t)

static bool	is_letter (empty_t)

static empty_t	mul (empty_t, empty_t)

static std::ostream &	print (empty_t, std::ostream &o, format={})

static size_t	size (value_t)

static size_t	hash (value_t v)

static value_t	conv (self_t, value_t v)

static value_t	conv (std::istream &i, bool=true)

template<typename Fun >
static void	convs (std::istream &, Fun)

Detailed Description

Implementation of labels are ones: there is a single instance of label.

Definition at line 17 of file oneset.hh.

Member Typedef Documentation

using vcsn::oneset::kind_t = labels_are_one

Definition at line 23 of file oneset.hh.

using vcsn::oneset::self_t = oneset

Definition at line 20 of file oneset.hh.

using vcsn::oneset::value_t = vcsn::empty_t

Definition at line 21 of file oneset.hh.

Constructor & Destructor Documentation

vcsn::oneset::oneset ( )

default

Member Function Documentation

static value_t vcsn::oneset::conv	(	self_t	,
		value_t	v
	)

inlinestatic

Definition at line 146 of file oneset.hh.

References vcsn::v.

template<typename LabelSet >

value_t vcsn::oneset::conv	(	const LabelSet &	ls,
		typename LabelSet::value_t	v
	)		const

inline

Convert from labelset to oneset.

Definition at line 154 of file oneset.hh.

References vcsn::require(), sname(), and vcsn::to_string().

Here is the call graph for this function:

static value_t vcsn::oneset::conv	(	std::istream &	i,
		bool	= `true`
	)

inlinestatic

Definition at line 163 of file oneset.hh.

References vcsn::require().

Here is the call graph for this function:

template<typename Fun >

static void vcsn::oneset::convs	(	std::istream &	,
		Fun
	)

inlinestatic

Definition at line 177 of file oneset.hh.

static bool vcsn::oneset::equal	(	const value_t	,
		const value_t
	)

inlinestatic

Whether l == r.

Definition at line 63 of file oneset.hh.

static constexpr bool vcsn::oneset::has_one ( )

inlinestatic

Definition at line 93 of file oneset.hh.

static size_t vcsn::oneset::hash ( value_t v )

inlinestatic

Definition at line 140 of file oneset.hh.

References vcsn::hash_value().

Here is the call graph for this function:

static constexpr bool vcsn::oneset::is_expressionset ( )

inlinestatic

Definition at line 87 of file oneset.hh.

static constexpr bool vcsn::oneset::is_free ( )

inlinestatic

Definition at line 46 of file oneset.hh.

static bool vcsn::oneset::is_letter ( empty_t )

inlinestatic

Definition at line 119 of file oneset.hh.

static constexpr bool vcsn::oneset::is_letterized ( )

inlinestatic

Definition at line 99 of file oneset.hh.

static bool vcsn::oneset::is_one ( empty_t )

inlinestatic

Definition at line 109 of file oneset.hh.

static constexpr bool vcsn::oneset::is_special ( value_t )

inlinestatic

The special label is indistinguishable for the others.

Definition at line 81 of file oneset.hh.

static bool vcsn::oneset::less	(	const value_t	,
		const value_t
	)

inlinestatic

Whether l < r.

Definition at line 69 of file oneset.hh.

static oneset vcsn::oneset::make ( std::istream & is )

inlinestatic

Build from the description in is.

Definition at line 34 of file oneset.hh.

References vcsn::labels_are_one::make().

Here is the call graph for this function:

static empty_t vcsn::oneset::mul	(	empty_t	,
		empty_t
	)

inlinestatic

Definition at line 124 of file oneset.hh.

static empty_t vcsn::oneset::one ( )

inlinestatic

Definition at line 104 of file oneset.hh.

Referenced by vcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> >::kept_label(), and vcsn::random_label().

bool vcsn::oneset::open ( bool o ) const

inline

Does not make a lot of sense.

Definition at line 41 of file oneset.hh.

static std::ostream& vcsn::oneset::print	(	empty_t	,
		std::ostream &	o,
		format	= `{}`
	)

inlinestatic

Definition at line 129 of file oneset.hh.

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

inline

Definition at line 183 of file oneset.hh.

static size_t vcsn::oneset::size ( value_t )

inlinestatic

Definition at line 135 of file oneset.hh.

static symbol vcsn::oneset::sname ( )

inlinestatic

Definition at line 27 of file oneset.hh.

Referenced by conv().

static value_t vcsn::oneset::special ( )

inlinestatic

Definition at line 74 of file oneset.hh.

static empty_t vcsn::oneset::transpose ( empty_t )

inlinestatic

Definition at line 114 of file oneset.hh.

template<typename... Args>

value_t vcsn::oneset::value ( Args &&... args ) const

inline

Value constructor.

Definition at line 56 of file oneset.hh.

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

vcsn/labelset/oneset.hh

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation