Vcsn  2.4
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | List of all members
vcsn::detail::zmin_impl Class Reference

#include <zmin.hh>

Inheritance diagram for vcsn::detail::zmin_impl:
Collaboration diagram for vcsn::detail::zmin_impl:

Public Types

using super_t = min_plus_impl< zmin_impl, int >
 
using self_t = zmin
 
using value_t = typename super_t::value_t
 
- Public Types inherited from vcsn::detail::min_plus_impl< zmin_impl, int >
using self_t = zmin_impl
 
using value_t = int
 

Public Member Functions

std::ostream & print_set (std::ostream &o, format fmt={}) const
 
- Public Member Functions inherited from vcsn::detail::min_plus_impl< zmin_impl, int >
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
 

Static Public Member Functions

static symbol sname ()
 
static zmin make (std::istream &is)
 Build from the description in is. More...
 
static value_t conv (self_t, value_t v)
 
static value_t conv (nmin, const nmin::value_t v)
 
static constexpr bool has_lightening_weights ()
 
- Static Public Member Functions inherited from vcsn::detail::min_plus_impl< zmin_impl, int >
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 bool equal (const value_t l, const value_t r)
 
static bool less (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, bool=true)
 
static std::ostream & print (const value_t v, std::ostream &o=std::cout, format fmt={})
 

Detailed Description

Definition at line 15 of file zmin.hh.

Member Typedef Documentation

using vcsn::detail::zmin_impl::self_t = zmin

Definition at line 20 of file zmin.hh.

using vcsn::detail::zmin_impl::super_t = min_plus_impl<zmin_impl, int>

Definition at line 19 of file zmin.hh.

using vcsn::detail::zmin_impl::value_t = typename super_t::value_t

Definition at line 21 of file zmin.hh.

Member Function Documentation

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

Definition at line 38 of file zmin.hh.

References vcsn::detail::v.

static value_t vcsn::detail::zmin_impl::conv ( nmin  ,
const nmin::value_t  v 
)
inlinestatic

Definition at line 44 of file zmin.hh.

References vcsn::detail::v.

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

Definition at line 49 of file zmin.hh.

static zmin vcsn::detail::zmin_impl::make ( std::istream &  is)
inlinestatic

Build from the description in is.

Definition at line 30 of file zmin.hh.

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

Here is the call graph for this function:

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

Definition at line 52 of file zmin.hh.

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

Definition at line 23 of file zmin.hh.

References vcsn::res.

Referenced by make().

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