Vcsn  2.4
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

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 star (const value_t v) 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 f2 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 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 std::ostream & print (const value_t v, std::ostream &o=std::cout, 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 65 of file f2.hh.

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

Definition at line 154 of file f2.hh.

References vcsn::detail::v.

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

Definition at line 160 of file f2.hh.

References vcsn::require().

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 105 of file f2.hh.

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

Definition at line 135 of file f2.hh.

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

Definition at line 148 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 133 of file f2.hh.

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

Definition at line 134 of file f2.hh.

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

Definition at line 128 of file f2.hh.

References vcsn::detail::v.

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

Definition at line 116 of file f2.hh.

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

Definition at line 122 of file f2.hh.

References vcsn::detail::v.

Referenced by rdivide().

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

Definition at line 90 of file f2.hh.

References rdivide().

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 111 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::max ( )
inlinestatic

Definition at line 59 of file f2.hh.

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

Definition at line 53 of file f2.hh.

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

Definition at line 77 of file f2.hh.

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

Definition at line 47 of file f2.hh.

Referenced by star().

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

Definition at line 174 of file f2.hh.

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

Definition at line 181 of file f2.hh.

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

Definition at line 83 of file f2.hh.

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

Referenced by ldivide().

Here is the call graph for this function:

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

Definition at line 137 of file f2.hh.

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

Definition at line 25 of file f2.hh.

References vcsn::res.

Referenced by make().

value_t vcsn::detail::f2_impl::star ( const value_t  v) const
inline

Definition at line 96 of file f2.hh.

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

Here is the call graph for this function:

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

Definition at line 140 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 71 of file f2.hh.

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

Definition at line 143 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: