Vcsn  2.2
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  { "ambiguous_word", "is-ambiguous.hh" },
16  { "are_equivalent", "are-equivalent.hh" },
17  { "are_equivalent_expression", "are-equivalent.hh" },
18  { "are_isomorphic", "are-isomorphic.hh" },
19  { "cerny", "cerny.hh" },
20  { "coaccessible", "accessible.hh" },
21  { "codeterminize", "determinize.hh" },
22  { "cominimize", "minimize.hh" },
23  { "complement", "complement.hh" },
24  { "complement_expansion", "complement.hh" },
25  { "complement_expression", "complement.hh" },
26  { "complete", "complete.hh" },
27  { "component", "scc.hh" },
28  { "compose", "compose.hh" },
29  { "concatenate_expression", "multiply.hh" },
30  { "condense", "scc.hh" },
31  { "conjugate", "conjugate.hh" },
32  { "conjunction", "conjunction.hh" },
33  { "conjunction_expression", "conjunction.hh" },
34  { "conjunction_polynomial", "conjunction.hh" },
35  { "conjunction_repeated", "conjunction.hh" },
36  { "constant_term", "constant-term.hh" },
37  { "context_of", "make-context.hh" },
38  { "context_of_expansion", "make-context.hh" },
39  { "context_of_expression", "make-context.hh" },
40  { "copy", "copy.hh" },
41  { "copy_convert", "copy.hh" },
42  { "copy_expression", "copy.hh" },
43  { "costandard", "standard.hh" },
44  { "cotrie", "trie.hh" },
45  { "cotrie_stream", "trie.hh" },
46  { "de_bruijn", "de-bruijn.hh" },
47  { "delay_automaton", "is-synchronized.hh" },
48  { "derivation", "derivation.hh" },
49  { "derived_term", "derived-term.hh" },
50  { "determinize", "determinize.hh" },
51  { "difference", "are-equivalent.hh" },
52  { "difference_expression", "are-equivalent.hh" },
53  { "divkbaseb", "divkbaseb.hh" },
54  { "double_ring", "double-ring.hh" },
55  { "eliminate_state", "to-expression.hh" },
56  { "eval", "eval.hh" },
57  { "expand", "expand.hh" },
58  { "expression_one", "constant.hh" },
59  { "expression_zero", "constant.hh" },
60  { "factor", "prefix.hh" },
61  { "filter", "filter.hh" },
62  { "focus", "focus.hh" },
63  { "has_bounded_lag", "has-bounded-lag.hh" },
64  { "has_lightening_cycle", "has-lightening-cycle.hh" },
65  { "has_twins_property", "has-twins-property.hh" },
66  { "identities", "identities.hh" },
67  { "infiltration", "conjunction.hh" },
68  { "infiltration_expression", "conjunction.hh" },
69  { "info", "info.hh" },
70  { "info_expression", "info.hh" },
71  { "insplit", "insplit.hh" },
72  { "is_accessible", "accessible.hh" },
73  { "is_ambiguous", "is-ambiguous.hh" },
74  { "is_coaccessible", "accessible.hh" },
75  { "is_codeterministic", "is-deterministic.hh" },
76  { "is_complete", "is-complete.hh" },
77  { "is_costandard", "standard.hh" },
78  { "is_cycle_ambiguous", "is-ambiguous.hh" },
79  { "is_deterministic", "is-deterministic.hh" },
80  { "is_empty", "accessible.hh" },
81  { "is_eps_acyclic", "is-eps-acyclic.hh" },
82  { "is_functional", "is-functional.hh" },
83  { "is_letterized", "letterize.hh" },
84  { "is_normalized", "normalize.hh" },
85  { "is_out_sorted", "sort.hh" },
86  { "is_partial_identity", "is-partial-identity.hh" },
87  { "is_proper", "is-proper.hh" },
88  { "is_realtime", "letterize.hh" },
89  { "is_standard", "standard.hh" },
90  { "is_synchronized", "is-synchronized.hh" },
91  { "is_synchronized_by", "synchronizing-word.hh" },
92  { "is_synchronizing", "synchronizing-word.hh" },
93  { "is_trim", "accessible.hh" },
94  { "is_useless", "accessible.hh" },
95  { "is_valid", "is-valid.hh" },
96  { "is_valid_expression", "is-valid-expression.hh" },
97  { "join", "make-context.hh" },
98  { "ladybird", "ladybird.hh" },
99  { "ldiv_expression", "divide.hh" },
100  { "ldiv_polynomial", "divide.hh" },
101  { "left_mult", "left-mult.hh" },
102  { "left_mult_expansion", "left-mult.hh" },
103  { "left_mult_expression", "left-mult.hh" },
104  { "less_than_expression", "less-than.hh" },
105  { "letterize", "letterize.hh" },
106  { "levenshtein", "levenshtein.hh" },
107  { "lgcd_polynomial", "divide.hh" },
108  { "lift_automaton", "lift.hh" },
109  { "lift_expression", "lift.hh" },
110  { "lightest", "lightest.hh" },
111  { "lightest_automaton", "lightest-automaton.hh" },
112  { "list_polynomial", "print.hh" },
113  { "make_automaton_editor", "edit-automaton.hh" },
114  { "make_context", "make-context.hh" },
115  { "make_word_context", "make-context.hh" },
116  { "minimize", "minimize.hh" },
117  { "multiply", "multiply.hh" },
118  { "multiply_expression", "multiply.hh" },
119  { "multiply_expression_repeated", "multiply.hh" },
120  { "multiply_label", "multiply.hh" },
121  { "multiply_polynomial", "multiply.hh" },
122  { "multiply_repeated", "multiply.hh" },
123  { "multiply_weight", "multiply.hh" },
124  { "multiply_weight_repeated", "multiply.hh" },
125  { "normalize", "normalize.hh" },
126  { "num_components", "scc.hh" },
127  { "num_tapes", "make-context.hh" },
128  { "pair", "pair.hh" },
129  { "partial_identity", "partial-identity.hh" },
130  { "prefix", "prefix.hh" },
131  { "print", "print.hh" },
132  { "print_context", "print.hh" },
133  { "print_expansion", "print.hh" },
134  { "print_expression", "print.hh" },
135  { "print_label", "print.hh" },
136  { "print_polynomial", "print.hh" },
137  { "print_weight", "print.hh" },
138  { "project", "project-automaton.hh" },
139  { "project_context", "project.hh" },
140  { "project_label", "project.hh" },
141  { "project_polynomial", "project.hh" },
142  { "proper", "proper.hh" },
143  { "push_weights", "push-weights.hh" },
144  { "random_automaton", "random.hh" },
145  { "random_automaton_deterministic", "random.hh" },
146  { "rdiv_expression", "divide.hh" },
147  { "read_label", "read.hh" },
148  { "read_polynomial", "read.hh" },
149  { "read_weight", "read.hh" },
150  { "realtime", "letterize.hh" },
151  { "reduce", "reduce.hh" },
152  { "right_mult", "left-mult.hh" },
153  { "right_mult_expansion", "left-mult.hh" },
154  { "right_mult_expression", "left-mult.hh" },
155  { "scc", "scc.hh" },
156  { "shortest", "shortest.hh" },
157  { "shuffle", "conjunction.hh" },
158  { "shuffle_expression", "conjunction.hh" },
159  { "sort", "sort.hh" },
160  { "split", "split.hh" },
161  { "split_polynomial", "split.hh" },
162  { "standard", "standard.hh" },
163  { "standard_expression", "standard.hh" },
164  { "star", "star.hh" },
165  { "star_height", "star-height.hh" },
166  { "star_normal_form", "star-normal-form.hh" },
167  { "strip", "strip.hh" },
168  { "subword", "prefix.hh" },
169  { "suffix", "prefix.hh" },
170  { "sum", "sum.hh" },
171  { "sum_expansion", "sum.hh" },
172  { "sum_expression", "sum.hh" },
173  { "sum_polynomial", "sum.hh" },
174  { "sum_weight", "sum.hh" },
175  { "synchronize", "synchronize.hh" },
176  { "synchronizing_word", "synchronizing-word.hh" },
177  { "thompson", "thompson.hh" },
178  { "to_expansion", "to-expansion.hh" },
179  { "to_expression", "to-expression.hh" },
180  { "to_expression_class", "to-expression.hh" },
181  { "to_expression_label", "to-expression.hh" },
182  { "transpose", "transpose.hh" },
183  { "transpose_expression", "transpose.hh" },
184  { "transposition_expression", "transpose.hh" },
185  { "trie", "trie.hh" },
186  { "trie_stream", "trie.hh" },
187  { "trim", "accessible.hh" },
188  { "tuple_expansion", "tuple.hh" },
189  { "tuple_expression", "tuple.hh" },
190  { "u", "u.hh" },
191  { "universal", "universal.hh" },
192  { "weight_series", "weight-series.hh" },
193  { "zpc", "zpc.hh" },
194  };
195  headers_late_.insert("vcsn/algos/" + headers.at(algo));
196  }
197 }}
Definition: a-star.hh:8
void header_algo(const std::string &algo)
Record that we need an include for this algorithm.
std::set< std::string > headers_late_