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 = bool

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 l, const value_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)
	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 value_t	one ()

static bool	is_one (const value_t v)

static value_t	transpose (const value_t v)

static bool	is_letter (const value_t)

static value_t	mul (value_t l, value_t r)

static std::ostream &	print (const value_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 16 of file oneset.hh.

Member Typedef Documentation

using vcsn::oneset::kind_t = labels_are_one

Definition at line 22 of file oneset.hh.

using vcsn::oneset::self_t = oneset

Definition at line 19 of file oneset.hh.

using vcsn::oneset::value_t = bool

Definition at line 20 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 144 of file oneset.hh.

References vcsn::detail::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 152 of file oneset.hh.

References one(), sname(), vcsn::to_string(), and VCSN_REQUIRE.

Here is the call graph for this function:

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

inlinestatic

Definition at line 161 of file oneset.hh.

References one(), and 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 175 of file oneset.hh.

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

inlinestatic

Whether l == r.

Definition at line 62 of file oneset.hh.

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

inlinestatic

Definition at line 91 of file oneset.hh.

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

inlinestatic

Definition at line 138 of file oneset.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

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

inlinestatic

Definition at line 85 of file oneset.hh.

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

inlinestatic

Definition at line 45 of file oneset.hh.

static bool vcsn::oneset::is_letter ( const value_t )

inlinestatic

Definition at line 117 of file oneset.hh.

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

inlinestatic

Definition at line 97 of file oneset.hh.

static bool vcsn::oneset::is_one ( const value_t v )

inlinestatic

Definition at line 107 of file oneset.hh.

References one().

Here is the call graph for this function:

static bool vcsn::oneset::is_special ( const value_t v )

inlinestatic

The special label is indistinguishable for the others.

Definition at line 79 of file oneset.hh.

References special().

Here is the call graph for this function:

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

inlinestatic

Whether l < r.

Definition at line 68 of file oneset.hh.

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

inlinestatic

Build from the description in is.

Definition at line 33 of file oneset.hh.

References vcsn::labels_are_one::make().

Here is the call graph for this function:

static value_t vcsn::oneset::mul	(	value_t	l,
		value_t	r
	)

inlinestatic

Definition at line 122 of file oneset.hh.

static value_t vcsn::oneset::one ( )

inlinestatic

Definition at line 102 of file oneset.hh.

Referenced by conv(), is_one(), 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 40 of file oneset.hh.

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

inlinestatic

Definition at line 127 of file oneset.hh.

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

inline

Definition at line 181 of file oneset.hh.

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

inlinestatic

Definition at line 133 of file oneset.hh.

static symbol vcsn::oneset::sname ( )

inlinestatic

Definition at line 26 of file oneset.hh.

Referenced by conv().

static value_t vcsn::oneset::special ( )

inlinestatic

Definition at line 73 of file oneset.hh.

Referenced by is_special().

static value_t vcsn::oneset::transpose ( const value_t v )

inlinestatic

Definition at line 112 of file oneset.hh.

References vcsn::detail::v.

template<typename... Args>

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

inline

Value constructor.

Definition at line 55 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