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

#include <z.hh>

Collaboration diagram for vcsn::detail::z_impl:

Public Types

using self_t = z
 
using value_t = int
 

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 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 z 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 constexpr bool is_special (value_t)
 
static bool is_zero (const value_t v)
 
static bool is_one (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_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 (b, b::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 z.hh.

Member Typedef Documentation

Definition at line 23 of file z.hh.

Definition at line 38 of file z.hh.

Member Function Documentation

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

Definition at line 53 of file z.hh.

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

Definition at line 156 of file z.hh.

References vcsn::detail::v.

static value_t vcsn::detail::z_impl::conv ( b  ,
b::value_t  v 
)
inlinestatic

Definition at line 162 of file z.hh.

References vcsn::detail::v.

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

Definition at line 169 of file z.hh.

References vcsn::fail_reading(), and vcsn::res.

Here is the call graph for this function:

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

Definition at line 126 of file z.hh.

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

Definition at line 139 of file z.hh.

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

Definition at line 150 of file z.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

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

Definition at line 137 of file z.hh.

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

Definition at line 138 of file z.hh.

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

Definition at line 120 of file z.hh.

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

Definition at line 108 of file z.hh.

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

Definition at line 114 of file z.hh.

Referenced by lgcd(), rdivide(), and star().

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

Definition at line 94 of file z.hh.

References rdivide().

Here is the call graph for this function:

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

Whether lhs < rhs.

Definition at line 132 of file z.hh.

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

Definition at line 71 of file z.hh.

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

Referenced by rgcd().

Here is the call graph for this function:

static z vcsn::detail::z_impl::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 32 of file z.hh.

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

Here is the call graph for this function:

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

Definition at line 65 of file z.hh.

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

Definition at line 47 of file z.hh.

Referenced by star().

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

Definition at line 179 of file z.hh.

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

Definition at line 186 of file z.hh.

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

Definition at line 85 of file z.hh.

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

Referenced by ldivide().

Here is the call graph for this function:

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

Definition at line 79 of file z.hh.

References lgcd().

Here is the call graph for this function:

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

Definition at line 141 of file z.hh.

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

Definition at line 25 of file z.hh.

References vcsn::res.

Referenced by make().

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

Definition at line 100 of file z.hh.

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

Here is the call graph for this function:

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

Definition at line 142 of file z.hh.

References vcsn::NON_STARRABLE.

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

Definition at line 59 of file z.hh.

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

Definition at line 145 of file z.hh.

References vcsn::detail::v.

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

Definition at line 41 of file z.hh.


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