Vcsn  2.2
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | List of all members
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

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 lgcd (const value_t l, const value_t r)
 
static value_t rgcd (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)
 
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 value_t conv (std::istream &is, bool=true)
 
static std::ostream & print (const value_t v, std::ostream &o, format fmt={})
 

Detailed Description

Definition at line 21 of file b.hh.

Member Typedef Documentation

using vcsn::detail::b_impl::self_t = b

Definition at line 24 of file b.hh.

using vcsn::detail::b_impl::value_t = bool

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.

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

Definition at line 163 of file b.hh.

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

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 rdiv().

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

Definition at line 95 of file b.hh.

References rdiv().

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.

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

Definition at line 74 of file b.hh.

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

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,
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.

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

Definition at line 88 of file b.hh.

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

Referenced by ldiv().

Here is the call graph for this function:

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

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.

Referenced by conv(), lgcd(), and 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: