Vcsn  2.4
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | List of all members
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 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
 
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 value (int num, unsigned den)
 Create rational weight from num and den. 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 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=std::cout, format fmt={})
 

Detailed Description

Definition at line 25 of file qmp.hh.

Member Typedef Documentation

using vcsn::detail::qmp_impl::self_t = qmp

Definition at line 28 of file qmp.hh.

using vcsn::detail::qmp_impl::value_t = mpq_class

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 148 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 77 of file qmp.hh.

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

Definition at line 166 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 172 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 178 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 184 of file qmp.hh.

References vcsn::res.

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

Definition at line 130 of file qmp.hh.

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

Definition at line 142 of file qmp.hh.

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

Definition at line 159 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 141 of file qmp.hh.

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

Definition at line 124 of file qmp.hh.

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

Definition at line 114 of file qmp.hh.

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

Definition at line 119 of file qmp.hh.

Referenced by rdivide().

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

Definition at line 100 of file qmp.hh.

References rdivide().

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

Definition at line 71 of file qmp.hh.

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

Definition at line 64 of file qmp.hh.

References vcsn::min.

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

Definition at line 87 of file qmp.hh.

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

Definition at line 58 of file qmp.hh.

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

Definition at line 192 of file qmp.hh.

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

Definition at line 208 of file qmp.hh.

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

Definition at line 93 of file qmp.hh.

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

Referenced by ldivide().

Here is the call graph for this function:

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

Definition at line 144 of file qmp.hh.

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

Definition at line 30 of file qmp.hh.

References vcsn::res.

Referenced by make().

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

Definition at line 105 of file qmp.hh.

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

Here is the call graph for this function:

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

Definition at line 145 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 82 of file qmp.hh.

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

Definition at line 154 of file qmp.hh.

References vcsn::detail::v.

static value_t vcsn::detail::qmp_impl::value ( int  num,
unsigned  den 
)
inlinestatic

Create rational weight from num and den.

Definition at line 46 of file qmp.hh.

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

Definition at line 51 of file qmp.hh.

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