Vcsn
2.1
Be Rational
Main Page
Namespaces
Classes
Files
File List
File Members
fwd.hh
Go to the documentation of this file.
1
#pragma once
2
3
#include <
vcsn/misc/wet.hh
>
// wet_kind
4
5
namespace
vcsn
6
{
7
namespace
detail
8
{
9
// b.hh.
10
class
b_impl;
11
12
// f2.hh.
13
class
f2_impl;
14
15
// log.hh
16
class
log_impl;
17
18
// nmin.hh.
19
class
nmin_impl;
20
21
// q.hh.
22
class
q_impl;
23
24
// qmp.hh.
25
class
qmp_impl;
26
27
// r.hh.
28
class
r_impl;
29
30
// rmin.hh.
31
class
rmin_impl;
32
33
// z.hh.
34
class
z_impl;
35
36
// zmin.hh.
37
class
zmin_impl;
38
39
// polynomialset.hh.
40
template
<
typename
Context, wet_kind_t Kind>
41
class
polynomialset_impl
;
42
}
43
44
// weightset.hh.
45
template
<
typename
WeightSet>
46
struct
weightset_mixin
;
47
48
using
b
=
weightset_mixin<detail::b_impl>
;
49
using
f2
=
weightset_mixin<detail::f2_impl>
;
50
using
log
=
weightset_mixin<detail::log_impl>
;
51
using
nmin
=
weightset_mixin<detail::nmin_impl>
;
52
using
q
=
weightset_mixin<detail::q_impl>
;
53
using
qmp
=
weightset_mixin<detail::qmp_impl>
;
54
using
r
=
weightset_mixin<detail::r_impl>
;
55
using
rmin
=
weightset_mixin<detail::rmin_impl>
;
56
using
z
=
weightset_mixin<detail::z_impl>
;
57
using
zmin
=
weightset_mixin<detail::zmin_impl>
;
58
59
template
<
typename
Context,
60
wet_kind_t
Kind = detail::wet_kind<labelset_t_of<Context>,
61
weightset_t_of<Context>
>()>
62
using
polynomialset
63
=
weightset_mixin
<
detail::polynomialset_impl<Context, Kind>
>;
64
}
// namespace vcsn
vcsn::weightset_t_of
typename detail::weightset_t_of_impl< base_t< ValueSet >>::type weightset_t_of
Definition:
traits.hh:51
vcsn::wet_kind_t
wet_kind_t
Definition:
wet.hh:168
vcsn
Definition:
accessible.hh:11
vcsn::weightset_mixin
Provide a variadic mul on top of a binary mul(), and one().
Definition:
fwd.hh:46
vcsn::detail::polynomialset_impl
Linear combination of labels: map labels to weights.
Definition:
fwd.hh:41
wet.hh
vcsn
weightset
fwd.hh
Generated by
1.8.9.1