Vcsn  2.3
Be Rational
vcsn::detail::b_impl Class Reference

#include <b.hh>

Collaboration diagram for vcsn::detail::b_impl:

Public Types

using self_t = b
 
using value_t = bool
 

Public Member Functions

value_t lgcd (const value_t l, const value_t r) const
 
value_t rgcd (const value_t l, const value_t r) const
 
value_t rdivide (const value_t l, const value_t r) const
 
value_t ldivide (const value_t l, const value_t r) const
 
value_t conv (std::istream &is, bool=true) const
 
std::ostream & print_set (std::ostream &o, format fmt={}) const
 

Static Public Member Functions

static symbol sname ()
 
static b 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 star (const value_t)
 
static bool equal (const value_t l, const value_t r)
 
static bool less (const value_t lhs, const value_t rhs)
 Whether lhs < rhs. More...
 
static constexpr bool is_special (const 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 (const value_t v)
 
static value_t conv (self_t, const value_t v)
 
static std::ostream & print (const value_t v, std::ostream &o=std::cout, format fmt={})
 

Detailed Description

Definition at line 21 of file b.hh.

Member Typedef Documentation

Definition at line 24 of file b.hh.

Definition at line 39 of file b.hh.

Member Function Documentation

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

Definition at line 54 of file b.hh.

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

Definition at line 157 of file b.hh.

References vcsn::detail::v.

value_t vcsn::detail::b_impl::conv ( std::istream &  is,
bool  = true 
) const
inline

Definition at line 163 of file b.hh.

References vcsn::require().

Here is the call graph for this function:

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

Definition at line 107 of file b.hh.

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

Definition at line 137 of file b.hh.

static size_t vcsn::detail::b_impl::hash ( const value_t  v)
inlinestatic

Definition at line 151 of file b.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

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

Definition at line 135 of file b.hh.

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

Definition at line 136 of file b.hh.

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

Definition at line 130 of file b.hh.

References vcsn::detail::v.

static constexpr bool vcsn::detail::b_impl::is_special ( const value_t  )
inlinestatic

Definition at line 118 of file b.hh.

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

Definition at line 124 of file b.hh.

References vcsn::detail::v.

Referenced by lgcd(), and rdivide().

value_t vcsn::detail::b_impl::ldivide ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 95 of file b.hh.

References rdivide().

Here is the call graph for this function:

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

Whether lhs < rhs.

Definition at line 113 of file b.hh.

value_t vcsn::detail::b_impl::lgcd ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 74 of file b.hh.

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

Referenced by rgcd().

Here is the call graph for this function:

static b vcsn::detail::b_impl::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 33 of file b.hh.

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

Here is the call graph for this function:

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

Definition at line 68 of file b.hh.

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

Definition at line 48 of file b.hh.

Referenced by lgcd(), and star().

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

Definition at line 177 of file b.hh.

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

Definition at line 188 of file b.hh.

value_t vcsn::detail::b_impl::rdivide ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 88 of file b.hh.

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

Referenced by ldivide().

Here is the call graph for this function:

value_t vcsn::detail::b_impl::rgcd ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 82 of file b.hh.

References lgcd().

Here is the call graph for this function:

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

Definition at line 139 of file b.hh.

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

Definition at line 26 of file b.hh.

References vcsn::res.

Referenced by make().

static value_t vcsn::detail::b_impl::star ( const value_t  )
inlinestatic

Definition at line 101 of file b.hh.

References one().

Here is the call graph for this function:

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

Definition at line 140 of file b.hh.

References vcsn::STARRABLE.

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

Definition at line 62 of file b.hh.

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

Definition at line 146 of file b.hh.

References vcsn::detail::v.

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

Definition at line 42 of file b.hh.


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