Vcsn  2.8
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | List of all members
vcsn::detail::min_plus_impl< Derived, Value > Class Template Reference

#include <min-plus.hh>

Inheritance diagram for vcsn::detail::min_plus_impl< Derived, Value >:
Collaboration diagram for vcsn::detail::min_plus_impl< Derived, Value >:

Public Types

using self_t = Derived
 
using value_t = Value
 

Public Member Functions

const self_t & self () 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
 

Static Public Member Functions

static value_t add (const value_t l, const value_t r)
 
static value_t mul (const value_t l, const value_t r)
 
static value_t one ()
 
static value_t zero ()
 
static value_t min ()
 
static value_t max ()
 
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 l, value_t r)
 Whether l < r. 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 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 (b, b::value_t v)
 
static std::ostream & print (const value_t v, std::ostream &o=std::cout, format fmt={})
 

Detailed Description

template<typename Derived, typename Value>
class vcsn::detail::min_plus_impl< Derived, Value >

Definition at line 18 of file min-plus.hh.

Member Typedef Documentation

◆ self_t

template<typename Derived, typename Value>
using vcsn::detail::min_plus_impl< Derived, Value >::self_t = Derived

Definition at line 21 of file min-plus.hh.

◆ value_t

template<typename Derived, typename Value>
using vcsn::detail::min_plus_impl< Derived, Value >::value_t = Value

Definition at line 22 of file min-plus.hh.

Member Function Documentation

◆ add()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::add ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 30 of file min-plus.hh.

◆ compare()

template<typename Derived, typename Value>
static int vcsn::detail::min_plus_impl< Derived, Value >::compare ( const value_t  l,
const value_t  r 
)
inlinestatic

Three-way comparison between l and r.

Definition at line 91 of file min-plus.hh.

◆ conv() [1/2]

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::conv ( b  ,
b::value_t  v 
)
inlinestatic

Definition at line 149 of file min-plus.hh.

◆ conv() [2/2]

template<typename Derived, typename Value>
value_t vcsn::detail::min_plus_impl< Derived, Value >::conv ( std::istream &  is,
bool  = true 
) const
inline

Definition at line 155 of file min-plus.hh.

◆ equal()

template<typename Derived, typename Value>
static bool vcsn::detail::min_plus_impl< Derived, Value >::equal ( const value_t  l,
const value_t  r 
)
inlinestatic

Whether l == r.

Definition at line 98 of file min-plus.hh.

◆ hash()

template<typename Derived, typename Value>
static size_t vcsn::detail::min_plus_impl< Derived, Value >::hash ( value_t  v)
inlinestatic

Definition at line 143 of file min-plus.hh.

◆ is_commutative()

template<typename Derived, typename Value>
static constexpr bool vcsn::detail::min_plus_impl< Derived, Value >::is_commutative ( )
inlinestatic

Definition at line 128 of file min-plus.hh.

◆ is_idempotent()

template<typename Derived, typename Value>
static constexpr bool vcsn::detail::min_plus_impl< Derived, Value >::is_idempotent ( )
inlinestatic

Definition at line 129 of file min-plus.hh.

◆ is_one()

template<typename Derived, typename Value>
static bool vcsn::detail::min_plus_impl< Derived, Value >::is_one ( const value_t  v)
inlinestatic

Definition at line 123 of file min-plus.hh.

◆ is_special()

template<typename Derived, typename Value>
static constexpr bool vcsn::detail::min_plus_impl< Derived, Value >::is_special ( value_t  )
inlinestatic

Definition at line 111 of file min-plus.hh.

◆ is_zero()

template<typename Derived, typename Value>
static bool vcsn::detail::min_plus_impl< Derived, Value >::is_zero ( const value_t  v)
inlinestatic

Definition at line 117 of file min-plus.hh.

Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::mul(), vcsn::detail::min_plus_impl< zmin_impl, int >::print(), and vcsn::detail::min_plus_impl< zmin_impl, int >::rdivide().

◆ ldivide()

template<typename Derived, typename Value>
value_t vcsn::detail::min_plus_impl< Derived, Value >::ldivide ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 51 of file min-plus.hh.

◆ less()

template<typename Derived, typename Value>
static bool vcsn::detail::min_plus_impl< Derived, Value >::less ( value_t  l,
value_t  r 
)
inlinestatic

Whether l < r.

Definition at line 105 of file min-plus.hh.

◆ max()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::max ( )
inlinestatic

Definition at line 84 of file min-plus.hh.

◆ min()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::min ( )
inlinestatic

Definition at line 78 of file min-plus.hh.

◆ mul()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::mul ( const value_t  l,
const value_t  r 
)
inlinestatic

Definition at line 36 of file min-plus.hh.

◆ one()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::one ( )
inlinestatic

Definition at line 66 of file min-plus.hh.

Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::conv(), vcsn::detail::min_plus_impl< zmin_impl, int >::is_one(), and vcsn::detail::min_plus_impl< zmin_impl, int >::star().

◆ print()

template<typename Derived, typename Value>
static std::ostream& vcsn::detail::min_plus_impl< Derived, Value >::print ( const value_t  v,
std::ostream &  o = std::cout,
format  fmt = {} 
)
inlinestatic

Definition at line 173 of file min-plus.hh.

◆ rdivide()

template<typename Derived, typename Value>
value_t vcsn::detail::min_plus_impl< Derived, Value >::rdivide ( const value_t  l,
const value_t  r 
) const
inline

Definition at line 44 of file min-plus.hh.

Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::ldivide().

◆ self()

template<typename Derived, typename Value>
const self_t& vcsn::detail::min_plus_impl< Derived, Value >::self ( ) const
inline

Definition at line 24 of file min-plus.hh.

◆ show_one()

template<typename Derived, typename Value>
static constexpr bool vcsn::detail::min_plus_impl< Derived, Value >::show_one ( )
inlinestatic

Definition at line 131 of file min-plus.hh.

◆ star()

template<typename Derived, typename Value>
value_t vcsn::detail::min_plus_impl< Derived, Value >::star ( const value_t  v) const
inline

Definition at line 57 of file min-plus.hh.

◆ star_status()

template<typename Derived, typename Value>
static constexpr star_status_t vcsn::detail::min_plus_impl< Derived, Value >::star_status ( )
inlinestatic

Definition at line 132 of file min-plus.hh.

◆ transpose()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::transpose ( const value_t  v)
inlinestatic

Definition at line 138 of file min-plus.hh.

◆ zero()

template<typename Derived, typename Value>
static value_t vcsn::detail::min_plus_impl< Derived, Value >::zero ( )
inlinestatic

Definition at line 72 of file min-plus.hh.

Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::conv(), vcsn::detail::min_plus_impl< zmin_impl, int >::is_zero(), and vcsn::detail::min_plus_impl< zmin_impl, int >::mul().

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