Vcsn  2.4
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
context-printer-header-algo.cc
Go to the documentation of this file.
1 // Generated, do not edit by hand.
2 
3 #include <unordered_map>
4 
6 
7 namespace vcsn { namespace ast {
8 
9  void context_printer::header_algo(const std::string& algo)
10  {
11  static auto headers
12  = std::unordered_map<std::string, std::string>
13  {
14  { "accessible", "accessible.hh" },
15  { "add", "add.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" },
183  { "scc", "scc.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" },
216  { "u", "u.hh" },
217  { "universal", "universal.hh" },
218  { "weight_one", "constant.hh" },
219  { "weight_series", "weight-series.hh" },
220  { "weight_zero", "constant.hh" },
221  { "zpc", "zpc.hh" },
222  };
223  headers_late_.insert("vcsn/algos/" + headers.at(algo));
224  }
225 }}
Definition: a-star.hh:8
std::set< std::string > headers_late_
void header_algo(const std::string &algo)
Record that we need an include for this algorithm.