Vcsn  2.4
Be Rational
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_tself () 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

Definition at line 20 of file zmin.hh.

Definition at line 19 of file zmin.hh.

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: