Vcsn  2.2
Be Rational
vcsn::detail::f2_impl Class Reference

#include <f2.hh>

Collaboration diagram for vcsn::detail::f2_impl:

Public Types

using self_t = f2
 
using value_t = bool
 

Public Member Functions

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

Static Public Member Functions

static symbol sname ()
 
static f2 make (std::istream &is)
 Build from the description in is. More...
 
static value_t zero ()
 
static value_t one ()
 
static value_t add (const value_t l, const value_t r)
 
static value_t sub (const value_t l, const value_t r)
 
static value_t mul (const value_t l, const value_t r)
 
static value_t rdiv (const value_t l, const value_t r)
 
static value_t ldiv (const value_t l, const value_t r)
 
static value_t star (const value_t v)
 
static bool equal (const value_t l, const value_t r)
 
static bool less (value_t lhs, value_t rhs)
 Whether lhs < rhs. More...
 
static constexpr bool is_special (value_t)
 
static bool is_zero (const value_t v)
 
static bool is_one (const value_t v)
 
static constexpr bool is_commutative ()
 
static constexpr bool is_idempotent ()
 
static constexpr bool has_lightening_weights ()
 
static constexpr bool show_one ()
 
static constexpr star_status_t star_status ()
 
static value_t transpose (const value_t v)
 
static size_t hash (value_t v)
 
static value_t conv (self_t, value_t v)
 
static value_t conv (std::istream &is, bool=true)
 
static std::ostream & print (const value_t v, std::ostream &o, format={})
 

Detailed Description

Definition at line 20 of file f2.hh.

Member Typedef Documentation

Definition at line 23 of file f2.hh.

Definition at line 38 of file f2.hh.

Member Function Documentation

static value_t vcsn::detail::f2_impl::add ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 53 of file f2.hh.

static value_t vcsn::detail::f2_impl::conv ( self_t  ,
value_t  v 
)
inlinestatic

Definition at line 140 of file f2.hh.

References vcsn::detail::v.

static value_t vcsn::detail::f2_impl::conv ( std::istream &  is,
bool  = true 
)
inlinestatic

Definition at line 146 of file f2.hh.

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

Here is the call graph for this function:

static bool vcsn::detail::f2_impl::equal ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 91 of file f2.hh.

static constexpr bool vcsn::detail::f2_impl::has_lightening_weights ( )
inlinestatic

Definition at line 121 of file f2.hh.

static size_t vcsn::detail::f2_impl::hash ( value_t  v)
inlinestatic

Definition at line 134 of file f2.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

static constexpr bool vcsn::detail::f2_impl::is_commutative ( )
inlinestatic

Definition at line 119 of file f2.hh.

static constexpr bool vcsn::detail::f2_impl::is_idempotent ( )
inlinestatic

Definition at line 120 of file f2.hh.

static bool vcsn::detail::f2_impl::is_one ( const value_t  v)
inlinestatic

Definition at line 114 of file f2.hh.

References vcsn::detail::v.

static constexpr bool vcsn::detail::f2_impl::is_special ( value_t  )
inlinestatic

Definition at line 102 of file f2.hh.

static bool vcsn::detail::f2_impl::is_zero ( const value_t  v)
inlinestatic

Definition at line 108 of file f2.hh.

References vcsn::detail::v.

Referenced by rdiv().

static value_t vcsn::detail::f2_impl::ldiv ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 78 of file f2.hh.

References rdiv().

Here is the call graph for this function:

static bool vcsn::detail::f2_impl::less ( value_t  lhs,
value_t  rhs 
)
inlinestatic

Whether lhs < rhs.

Definition at line 97 of file f2.hh.

static f2 vcsn::detail::f2_impl::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 32 of file f2.hh.

References vcsn::eat(), and sname().

Here is the call graph for this function:

static value_t vcsn::detail::f2_impl::mul ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 65 of file f2.hh.

static value_t vcsn::detail::f2_impl::one ( )
inlinestatic

Definition at line 47 of file f2.hh.

static std::ostream& vcsn::detail::f2_impl::print ( const value_t  v,
std::ostream &  o,
format  = {} 
)
inlinestatic

Definition at line 160 of file f2.hh.

std::ostream& vcsn::detail::f2_impl::print_set ( std::ostream &  o,
format  fmt = {} 
) const
inline

Definition at line 167 of file f2.hh.

static value_t vcsn::detail::f2_impl::rdiv ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 71 of file f2.hh.

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

Referenced by ldiv().

Here is the call graph for this function:

static constexpr bool vcsn::detail::f2_impl::show_one ( )
inlinestatic

Definition at line 123 of file f2.hh.

static symbol vcsn::detail::f2_impl::sname ( )
inlinestatic

Definition at line 25 of file f2.hh.

Referenced by conv(), and make().

static value_t vcsn::detail::f2_impl::star ( const value_t  v)
inlinestatic

Definition at line 84 of file f2.hh.

References vcsn::require().

Here is the call graph for this function:

static constexpr star_status_t vcsn::detail::f2_impl::star_status ( )
inlinestatic

Definition at line 126 of file f2.hh.

References vcsn::NON_STARRABLE.

static value_t vcsn::detail::f2_impl::sub ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 59 of file f2.hh.

static value_t vcsn::detail::f2_impl::transpose ( const value_t  v)
inlinestatic

Definition at line 129 of file f2.hh.

References vcsn::detail::v.

static value_t vcsn::detail::f2_impl::zero ( )
inlinestatic

Definition at line 41 of file f2.hh.


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