Vcsn  2.4
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 min ()
 
static value_t max ()
 
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 25 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 65 of file b.hh.

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

Definition at line 168 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 174 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 118 of file b.hh.

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

Definition at line 148 of file b.hh.

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

Definition at line 162 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 146 of file b.hh.

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

Definition at line 147 of file b.hh.

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

Definition at line 141 of file b.hh.

References vcsn::detail::v.

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

Definition at line 129 of file b.hh.

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

Definition at line 135 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 106 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 124 of file b.hh.

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

Definition at line 85 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 34 of file b.hh.

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

Here is the call graph for this function:

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

Definition at line 59 of file b.hh.

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

Definition at line 53 of file b.hh.

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

Definition at line 79 of file b.hh.

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

Definition at line 47 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 188 of file b.hh.

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

Definition at line 199 of file b.hh.

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

Definition at line 99 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 93 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 150 of file b.hh.

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

Definition at line 27 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 112 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 151 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 73 of file b.hh.

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

Definition at line 157 of file b.hh.

References vcsn::detail::v.

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

Definition at line 41 of file b.hh.


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