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
value_t	conv (std::istream &is, bool=true) 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 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

Definition at line 15 of file zmin.hh.

Member Typedef Documentation

self_t

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

Definition at line 20 of file zmin.hh.

super_t

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

Definition at line 19 of file zmin.hh.

value_t

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

Definition at line 21 of file zmin.hh.

Member Function Documentation

conv() [1/2]

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.

conv() [2/2]

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.

has_lightening_weights()

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

inlinestatic

Definition at line 49 of file zmin.hh.

make()

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::detail::min_plus_impl< zmin_impl, int >::conv(), vcsn::eat(), and sname().

Here is the call graph for this function:

print_set()

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

inline

Definition at line 52 of file zmin.hh.

References vcsn::format::latex, vcsn::format::raw, sname(), vcsn::format::sname, vcsn::format::text, and vcsn::format::utf8.

Here is the call graph for this function:

sname()

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

inlinestatic

Definition at line 23 of file zmin.hh.

References vcsn::res.

Referenced by make(), and print_set().

---

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

• vcsn/weightset/zmin.hh