Awali
Another Weighted Automata library
awali
sttc
labelset
fwd.hh
Go to the documentation of this file.
1
// This file is part of Awali.
2
// Copyright 2016-2022 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
3
//
4
// Awali is a free software: you can redistribute it and/or modify
5
// it under the terms of the GNU General Public License as published by
6
// the Free Software Foundation, either version 3 of the License, or
7
// (at your option) any later version.
8
//
9
// This program is distributed in the hope that it will be useful,
10
// but WITHOUT ANY WARRANTY; without even the implied warranty of
11
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12
// GNU General Public License for more details.
13
//
14
// You should have received a copy of the GNU General Public License
15
// along with this program. If not, see <http://www.gnu.org/licenses/>.
16
17
#ifndef AWALI_LABELSET_FWD_HH
18
# define AWALI_LABELSET_FWD_HH
19
20
namespace
awali
{
namespace
sttc {
21
22
23
// letterset.hh.
24
template
<
typename
GenSet>
25
class
letterset
;
26
27
// nullableset.hh.
28
template
<
typename
LabelSet>
29
class
nullableset
;
30
31
// oneset.hh.
32
class
oneset
;
33
34
// tupleset.hh.
35
template
<
typename
... LabelSets>
36
class
tupleset;
37
38
// wordset.hh.
39
template
<
typename
GenSet>
40
class
wordset
;
41
42
}}
//end of ns awali::stc
43
44
#endif
// !AWALI_LABELSET_FWD_HH
awali::dyn::context::nullableset
labelset_description nullableset(labelset_description ls1)
awali::dyn::context::letterset
labelset_description letterset(std::string const &s)
awali::dyn::context::wordset
labelset_description wordset(std::string const &s)
awali::dyn::context::oneset
labelset_description oneset()
awali
Main namespace of Awali.
Definition:
ato.hh:22
Generated on Tue Dec 20 2022 19:47:02 for Awali by
1.9.1