Awali
Another Weighted Automata library
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
labelset_description nullableset(labelset_description ls1)
labelset_description letterset(std::string const &s)
labelset_description wordset(std::string const &s)
labelset_description oneset()
Main namespace of Awali.
Definition: ato.hh:22