Vcsn  2.8
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | List of all members
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 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 constexpr bool is_special (value_t)
 
static bool is_zero (const value_t v)
 
static bool is_one (const value_t v)
 
static int compare (const value_t l, const value_t r)
 Three-way comparison between l and r. More...
 
static bool equal (const value_t l, const value_t r)
 Whether l == r. More...
 
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 21 of file z.hh.

Member Typedef Documentation

◆ self_t

using vcsn::detail::z_impl::self_t = z

Definition at line 24 of file z.hh.

◆ value_t

using vcsn::detail::z_impl::value_t = int

Definition at line 39 of file z.hh.

Member Function Documentation

◆ add()

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

Definition at line 66 of file z.hh.

◆ compare()

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

Three-way comparison between l and r.

Definition at line 139 of file z.hh.

◆ conv() [1/3]

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

Definition at line 176 of file z.hh.

References vcsn::detail::v.

◆ conv() [2/3]

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

Definition at line 182 of file z.hh.

References vcsn::detail::v.

◆ conv() [3/3]

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

Definition at line 189 of file z.hh.

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

Here is the call graph for this function:

◆ equal()

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

Whether l == r.

Definition at line 146 of file z.hh.

◆ has_lightening_weights()

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

Definition at line 159 of file z.hh.

◆ hash()

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

Definition at line 170 of file z.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

◆ is_commutative()

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

Definition at line 157 of file z.hh.

◆ is_idempotent()

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

Definition at line 158 of file z.hh.

◆ is_one()

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

Definition at line 133 of file z.hh.

◆ is_special()

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

Definition at line 121 of file z.hh.

◆ is_zero()

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

Definition at line 127 of file z.hh.

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

◆ ldivide()

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

Definition at line 107 of file z.hh.

References rdivide().

Here is the call graph for this function:

◆ less()

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

Whether lhs < rhs.

Definition at line 152 of file z.hh.

◆ lgcd()

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

Definition at line 84 of file z.hh.

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

Referenced by rgcd().

Here is the call graph for this function:

◆ make()

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

Build from the description in is.

Definition at line 33 of file z.hh.

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

Here is the call graph for this function:

◆ max()

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

Definition at line 60 of file z.hh.

◆ min()

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

Definition at line 54 of file z.hh.

References vcsn::min.

◆ mul()

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

Definition at line 78 of file z.hh.

◆ one()

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

Definition at line 48 of file z.hh.

Referenced by star().

◆ print()

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

Definition at line 199 of file z.hh.

References vcsn::detail::v.

◆ print_set()

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

Definition at line 206 of file z.hh.

References vcsn::format::latex, vcsn::format::raw, vcsn::format::sname, sname(), vcsn::format::text, and vcsn::format::utf8.

Here is the call graph for this function:

◆ rdivide()

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

Definition at line 98 of file z.hh.

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

Referenced by ldivide().

Here is the call graph for this function:

◆ rgcd()

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

Definition at line 92 of file z.hh.

References lgcd().

Here is the call graph for this function:

◆ show_one()

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

Definition at line 161 of file z.hh.

◆ sname()

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

Definition at line 26 of file z.hh.

References vcsn::res.

Referenced by make(), and print_set().

◆ star()

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

Definition at line 113 of file z.hh.

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

Here is the call graph for this function:

◆ star_status()

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

Definition at line 162 of file z.hh.

References vcsn::NON_STARRABLE.

◆ sub()

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

Definition at line 72 of file z.hh.

◆ transpose()

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

Definition at line 165 of file z.hh.

References vcsn::detail::v.

◆ zero()

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

Definition at line 42 of file z.hh.

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