Awali
Another Weighted Automata library
awali
namespacesdoc.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
/* This file is a false header used to centralize the description of the
18
* namespaces of Awali.
19
* Used in particular by Doxygen.
20
*/
21
23
namespace
awali
{
24
30
namespace
sttc {
31
35
namespace
ctx { }
36
38
namespace
internal { }
39
40
41
44
namespace
rat { }
45
46
}
47
52
namespace
priority { }
53
56
namespace
deprecated { }
57
58
76
namespace
dyn {
77
79
namespace
internal { }
80
82
namespace
loading { }
83
87
namespace
context { }
88
89
94
namespace
factory { }
95
99
namespace
lift
{ }
100
}
101
104
namespace
deprecated { }
105
109
namespace
internal { }
110
111
113
namespace
py {
114
115
}
116
117
118
}
awali::dyn::lift::lift
automaton_t lift(automaton_t aut)
Builds some kind of copy of aut with weights that are rational expressions with the context of aut,...
awali
Main namespace of Awali.
Definition:
ato.hh:22
Generated on Tue Dec 20 2022 19:47:02 for Awali by
1.9.1