Vcsn  2.3
Be Rational
vcsn::oneset Class Reference

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...
 
value_t conv (std::istream &i, bool=true) const
 
template<typename Fun >
void convs (std::istream &, Fun) const
 
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=std::cout, format={})
 
static size_t size (value_t)
 
static size_t hash (value_t v)
 
static value_t conv (self_t, value_t v)
 

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

Definition at line 22 of file oneset.hh.

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::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(), vcsn::to_string(), and VCSN_REQUIRE.

Here is the call graph for this function:

value_t vcsn::oneset::conv ( std::istream &  i,
bool  = true 
) const
inline

Definition at line 161 of file oneset.hh.

References one(), and vcsn::require().

Here is the call graph for this function:

template<typename Fun >
void vcsn::oneset::convs ( std::istream &  ,
Fun   
) const
inline

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
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 = std::cout,
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.

References vcsn::res.

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