3 #include <unordered_map>
7 namespace vcsn {
namespace ast {
12 = std::unordered_map<std::string, std::string>
14 {
"accessible",
"accessible.hh" },
16 {
"add_expansion",
"add.hh" },
17 {
"add_expression",
"add.hh" },
18 {
"add_polynomial",
"add.hh" },
19 {
"add_weight",
"add.hh" },
20 {
"ambiguous_word",
"is-ambiguous.hh" },
21 {
"are_equivalent",
"are-equivalent.hh" },
22 {
"are_equivalent_expression",
"are-equivalent.hh" },
23 {
"are_isomorphic",
"are-isomorphic.hh" },
24 {
"cerny",
"cerny.hh" },
25 {
"coaccessible",
"accessible.hh" },
26 {
"codeterminize",
"determinize.hh" },
27 {
"cominimize",
"minimize.hh" },
28 {
"complement",
"complement.hh" },
29 {
"complement_expansion",
"complement.hh" },
30 {
"complement_expression",
"complement.hh" },
31 {
"complete",
"complete.hh" },
32 {
"component",
"scc.hh" },
33 {
"compose",
"compose.hh" },
34 {
"compose_expansion",
"compose-expression.hh" },
35 {
"compose_expression",
"compose-expression.hh" },
36 {
"compose_polynomial",
"compose-expression.hh" },
37 {
"concatenate_expression",
"multiply.hh" },
38 {
"condense",
"scc.hh" },
39 {
"conjugate",
"conjugate.hh" },
40 {
"conjunction",
"conjunction.hh" },
41 {
"conjunction_expansion",
"conjunction.hh" },
42 {
"conjunction_expression",
"conjunction.hh" },
43 {
"conjunction_polynomial",
"conjunction.hh" },
44 {
"conjunction_repeated",
"conjunction.hh" },
45 {
"constant_term",
"constant-term.hh" },
46 {
"context_of",
"make-context.hh" },
47 {
"context_of_expansion",
"make-context.hh" },
48 {
"context_of_expression",
"make-context.hh" },
49 {
"context_of_polynomial",
"make-context.hh" },
50 {
"copy",
"copy.hh" },
51 {
"copy_convert",
"copy.hh" },
52 {
"copy_expression",
"copy.hh" },
53 {
"costandard",
"standard.hh" },
54 {
"cotrie",
"trie.hh" },
55 {
"cotrie_stream",
"trie.hh" },
56 {
"de_bruijn",
"de-bruijn.hh" },
57 {
"delay_automaton",
"is-synchronized.hh" },
58 {
"derivation",
"derivation.hh" },
59 {
"derived_term",
"derived-term.hh" },
60 {
"determinize",
"determinize.hh" },
61 {
"difference",
"are-equivalent.hh" },
62 {
"difference_expression",
"are-equivalent.hh" },
63 {
"divkbaseb",
"divkbaseb.hh" },
64 {
"double_ring",
"double-ring.hh" },
65 {
"eliminate_state",
"to-expression.hh" },
66 {
"eval_polynomial",
"evaluate.hh" },
67 {
"evaluate",
"evaluate.hh" },
68 {
"expand",
"expand.hh" },
69 {
"expression_one",
"constant.hh" },
70 {
"expression_zero",
"constant.hh" },
71 {
"factor",
"prefix.hh" },
72 {
"filter",
"filter.hh" },
73 {
"focus",
"focus.hh" },
74 {
"has_bounded_lag",
"has-bounded-lag.hh" },
75 {
"has_lightening_cycle",
"has-lightening-cycle.hh" },
76 {
"has_twins_property",
"has-twins-property.hh" },
77 {
"identities_of",
"identities-of.hh" },
78 {
"inductive",
"inductive.hh" },
79 {
"infiltrate",
"conjunction.hh" },
80 {
"infiltrate_expression",
"conjunction.hh" },
81 {
"info",
"info.hh" },
82 {
"info_expression",
"info.hh" },
83 {
"insplit",
"insplit.hh" },
84 {
"is_accessible",
"accessible.hh" },
85 {
"is_ambiguous",
"is-ambiguous.hh" },
86 {
"is_coaccessible",
"accessible.hh" },
87 {
"is_codeterministic",
"is-deterministic.hh" },
88 {
"is_complete",
"is-complete.hh" },
89 {
"is_costandard",
"standard.hh" },
90 {
"is_cycle_ambiguous",
"is-ambiguous.hh" },
91 {
"is_deterministic",
"is-deterministic.hh" },
92 {
"is_empty",
"accessible.hh" },
93 {
"is_eps_acyclic",
"is-acyclic.hh" },
94 {
"is_functional",
"is-functional.hh" },
95 {
"is_letterized",
"letterize.hh" },
96 {
"is_normalized",
"normalize.hh" },
97 {
"is_out_sorted",
"sort.hh" },
98 {
"is_partial_identity",
"is-partial-identity.hh" },
99 {
"is_proper",
"is-proper.hh" },
100 {
"is_realtime",
"letterize.hh" },
101 {
"is_standard",
"standard.hh" },
102 {
"is_synchronized",
"is-synchronized.hh" },
103 {
"is_synchronized_by",
"synchronizing-word.hh" },
104 {
"is_synchronizing",
"synchronizing-word.hh" },
105 {
"is_trim",
"accessible.hh" },
106 {
"is_useless",
"accessible.hh" },
107 {
"is_valid",
"is-valid.hh" },
108 {
"is_valid_expression",
"is-valid-expression.hh" },
109 {
"join",
"make-context.hh" },
110 {
"ladybird",
"ladybird.hh" },
111 {
"ldivide",
"conjunction.hh" },
112 {
"ldivide_expansion",
"divide.hh" },
113 {
"ldivide_expression",
"divide.hh" },
114 {
"ldivide_label",
"divide.hh" },
115 {
"ldivide_polynomial",
"divide.hh" },
116 {
"ldivide_weight",
"divide.hh" },
117 {
"less_than_expression",
"less-than.hh" },
118 {
"letterize",
"letterize.hh" },
119 {
"levenshtein",
"levenshtein.hh" },
120 {
"lgcd_polynomial",
"divide.hh" },
121 {
"lift_automaton",
"lift.hh" },
122 {
"lift_expression",
"lift.hh" },
123 {
"lightest",
"lightest.hh" },
124 {
"lightest_automaton",
"lightest-automaton.hh" },
125 {
"list_polynomial",
"print.hh" },
126 {
"lweight",
"weight.hh" },
127 {
"lweight_expansion",
"weight.hh" },
128 {
"lweight_expression",
"weight.hh" },
129 {
"lweight_polynomial",
"weight.hh" },
130 {
"make_automaton_editor",
"edit-automaton.hh" },
131 {
"make_context",
"make-context.hh" },
132 {
"make_word_context",
"make-context.hh" },
133 {
"minimize",
"minimize.hh" },
134 {
"multiply",
"multiply.hh" },
135 {
"multiply_expression",
"multiply.hh" },
136 {
"multiply_expression_repeated",
"multiply.hh" },
137 {
"multiply_label",
"multiply.hh" },
138 {
"multiply_label_repeated",
"multiply.hh" },
139 {
"multiply_polynomial",
"multiply.hh" },
140 {
"multiply_repeated",
"multiply.hh" },
141 {
"multiply_weight",
"multiply.hh" },
142 {
"multiply_weight_repeated",
"multiply.hh" },
143 {
"normalize",
"normalize.hh" },
144 {
"num_components",
"scc.hh" },
145 {
"num_tapes",
"make-context.hh" },
146 {
"pair",
"pair.hh" },
147 {
"partial_identity",
"partial-identity.hh" },
148 {
"partial_identity_expression",
"partial-identity-expression.hh" },
149 {
"prefix",
"prefix.hh" },
150 {
"print",
"print.hh" },
151 {
"print_context",
"print.hh" },
152 {
"print_expansion",
"print.hh" },
153 {
"print_expression",
"print.hh" },
154 {
"print_label",
"print.hh" },
155 {
"print_polynomial",
"print.hh" },
156 {
"print_weight",
"print.hh" },
157 {
"project",
"project-automaton.hh" },
158 {
"project_context",
"project.hh" },
159 {
"project_expansion",
"project.hh" },
160 {
"project_expression",
"project.hh" },
161 {
"project_label",
"project.hh" },
162 {
"project_polynomial",
"project.hh" },
163 {
"proper",
"proper.hh" },
164 {
"push_weights",
"push-weights.hh" },
165 {
"quotkbaseb",
"quotkbaseb.hh" },
166 {
"random_automaton",
"random-automaton.hh" },
167 {
"random_automaton_deterministic",
"random-automaton.hh" },
168 {
"random_expression",
"random-expression.hh" },
169 {
"random_weight",
"random-weight.hh" },
170 {
"rdivide",
"conjunction.hh" },
171 {
"rdivide_expression",
"divide.hh" },
172 {
"rdivide_label",
"divide.hh" },
173 {
"rdivide_weight",
"divide.hh" },
174 {
"read_label",
"read.hh" },
175 {
"read_polynomial",
"read.hh" },
176 {
"read_weight",
"read.hh" },
177 {
"realtime",
"letterize.hh" },
178 {
"reduce",
"reduce.hh" },
179 {
"rweight",
"weight.hh" },
180 {
"rweight_expansion",
"weight.hh" },
181 {
"rweight_expression",
"weight.hh" },
182 {
"rweight_polynomial",
"weight.hh" },
184 {
"shortest",
"shortest.hh" },
185 {
"shuffle",
"conjunction.hh" },
186 {
"shuffle_expression",
"conjunction.hh" },
187 {
"sort",
"sort.hh" },
188 {
"split",
"split.hh" },
189 {
"split_polynomial",
"split.hh" },
190 {
"standard",
"standard.hh" },
191 {
"standard_expression",
"standard.hh" },
192 {
"star",
"star.hh" },
193 {
"star_height",
"star-height.hh" },
194 {
"star_normal_form",
"star-normal-form.hh" },
195 {
"strip",
"strip.hh" },
196 {
"subword",
"prefix.hh" },
197 {
"suffix",
"prefix.hh" },
198 {
"synchronize",
"synchronize.hh" },
199 {
"synchronizing_word",
"synchronizing-word.hh" },
200 {
"thompson",
"thompson.hh" },
201 {
"to_expansion",
"to-expansion.hh" },
202 {
"to_expression",
"to-expression.hh" },
203 {
"to_expression_class",
"to-expression.hh" },
204 {
"to_expression_label",
"to-expression.hh" },
205 {
"transpose",
"transpose.hh" },
206 {
"transpose_expression",
"transpose.hh" },
207 {
"transposition_expression",
"transpose.hh" },
208 {
"trie",
"trie.hh" },
209 {
"trie_stream",
"trie.hh" },
210 {
"trim",
"accessible.hh" },
211 {
"tuple",
"tuple-automaton.hh" },
212 {
"tuple_context",
"tuple.hh" },
213 {
"tuple_expansion",
"tuple.hh" },
214 {
"tuple_expression",
"tuple.hh" },
215 {
"tuple_polynomial",
"tuple.hh" },
217 {
"universal",
"universal.hh" },
218 {
"weight_one",
"constant.hh" },
219 {
"weight_series",
"weight-series.hh" },
220 {
"weight_zero",
"constant.hh" },
std::set< std::string > headers_late_
void header_algo(const std::string &algo)
Record that we need an include for this algorithm.