Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Types | Public Member Functions | Static Public Member Functions | List of all members
vcsn::detail::min_plus_impl< Value > Class Template Reference

#include <min-plus.hh>

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

Public Types

using value_t = Value
 

Public Member Functions

value_t star (const value_t v) 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 rdiv (const value_t l, const value_t r)
 
static value_t ldiv (const value_t l, const value_t r)
 
static value_t one ()
 
static value_t zero ()
 
static bool equals (const value_t l, const value_t r)
 
static bool less_than (value_t lhs, value_t rhs)
 Whether lhs < rhs. 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 value_t conv (std::istream &is)
 
static std::ostream & print (const value_t v, std::ostream &o, symbol format=symbol{"text"})
 

Detailed Description

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

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

Member Typedef Documentation

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

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

Member Function Documentation

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

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

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

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

template<typename Value>
static value_t vcsn::detail::min_plus_impl< Value >::conv ( std::istream &  is)
inlinestatic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Referenced by vcsn::detail::min_plus_impl< int >::mul(), and vcsn::detail::min_plus_impl< int >::rdiv().

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

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

template<typename Value>
static bool vcsn::detail::min_plus_impl< Value >::less_than ( value_t  lhs,
value_t  rhs 
)
inlinestatic

Whether lhs < rhs.

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

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

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

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

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

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

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

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

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

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

Referenced by vcsn::detail::min_plus_impl< int >::ldiv().

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

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

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

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

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

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

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

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

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

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

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

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