Vcsn  2.2
Be Rational
vcsn::detail::qmp_impl Class Reference

#include <qmp.hh>

Collaboration diagram for vcsn::detail::qmp_impl:

Public Types

using self_t = qmp
 
using value_t = mpq_class
 

Public Member Functions

value_t star (const value_t v) const
 
std::ostream & print_set (std::ostream &o, format fmt={}) const
 

Static Public Member Functions

static symbol sname ()
 
static qmp 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 rdiv (const value_t l, const value_t r)
 
static value_t ldiv (const value_t l, const value_t r)
 
static bool is_special (const 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 l, value_t r)
 Whether < r. More...
 
static constexpr bool is_commutative ()
 
static constexpr bool has_lightening_weights ()
 
static constexpr bool show_one ()
 
static constexpr star_status_t star_status ()
 
static value_t abs (const value_t v)
 
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 (z, z::value_t v)
 
static value_t conv (b, b::value_t v)
 
static value_t conv (std::istream &i, bool=true)
 
static std::ostream & print (const value_t v, std::ostream &o, format fmt={})
 

Detailed Description

Definition at line 25 of file qmp.hh.

Member Typedef Documentation

Definition at line 28 of file qmp.hh.

Definition at line 43 of file qmp.hh.

Member Function Documentation

static value_t vcsn::detail::qmp_impl::abs ( const value_t  v)
inlinestatic

Definition at line 128 of file qmp.hh.

Referenced by star().

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

Definition at line 57 of file qmp.hh.

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

Definition at line 146 of file qmp.hh.

References vcsn::detail::v.

static value_t vcsn::detail::qmp_impl::conv ( z  ,
z::value_t  v 
)
inlinestatic

Definition at line 152 of file qmp.hh.

References vcsn::detail::v.

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

Definition at line 158 of file qmp.hh.

References vcsn::detail::v.

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

Definition at line 164 of file qmp.hh.

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

Definition at line 110 of file qmp.hh.

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

Definition at line 122 of file qmp.hh.

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

Definition at line 139 of file qmp.hh.

References vcsn::detail::hash_value(), and vcsn::to_string().

Here is the call graph for this function:

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

Definition at line 121 of file qmp.hh.

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

Definition at line 104 of file qmp.hh.

static bool vcsn::detail::qmp_impl::is_special ( const value_t  )
inlinestatic

Definition at line 94 of file qmp.hh.

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

Definition at line 99 of file qmp.hh.

Referenced by rdiv().

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

Definition at line 80 of file qmp.hh.

References rdiv().

Here is the call graph for this function:

static bool vcsn::detail::qmp_impl::less ( value_t  l,
value_t  r 
)
inlinestatic

Whether < r.

Definition at line 116 of file qmp.hh.

static qmp vcsn::detail::qmp_impl::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 37 of file qmp.hh.

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

Here is the call graph for this function:

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

Definition at line 67 of file qmp.hh.

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

Definition at line 52 of file qmp.hh.

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

Definition at line 172 of file qmp.hh.

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

Definition at line 188 of file qmp.hh.

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

Definition at line 73 of file qmp.hh.

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

Referenced by ldiv().

Here is the call graph for this function:

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

Definition at line 124 of file qmp.hh.

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

Definition at line 30 of file qmp.hh.

Referenced by make(), and star().

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

Definition at line 85 of file qmp.hh.

References abs(), sname(), and vcsn::to_string().

Here is the call graph for this function:

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

Definition at line 125 of file qmp.hh.

References vcsn::ABSVAL.

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

Definition at line 62 of file qmp.hh.

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

Definition at line 134 of file qmp.hh.

References vcsn::detail::v.

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

Definition at line 45 of file qmp.hh.


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