-
Notifications
You must be signed in to change notification settings - Fork 6
/
CMakeLists.txt
442 lines (440 loc) · 20.2 KB
/
CMakeLists.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
cmake_minimum_required(VERSION 3.7)
project(new_kstar)
set(CMAKE_CXX_STANDARD 11)
include_directories("src/search/ext")
set(SOURCE_FILES
src/search/algorithms/dynamic_bitset.h
src/search/algorithms/equivalence_relation.cc
src/search/algorithms/equivalence_relation.h
src/search/algorithms/int_packer.cc
src/search/algorithms/int_packer.h
src/search/algorithms/max_cliques.cc
src/search/algorithms/max_cliques.h
src/search/algorithms/ordered_set.h
src/search/algorithms/priority_queues.h
src/search/algorithms/segmented_vector.h
src/search/bliss/bignum.cc
src/search/bliss/bignum.h
src/search/bliss/defs.cc
src/search/bliss/defs.h
src/search/bliss/graph.cc
src/search/bliss/graph.h
src/search/bliss/heap.cc
src/search/bliss/heap.h
src/search/bliss/kqueue.cc
src/search/bliss/kqueue.h
src/search/bliss/kstack.cc
src/search/bliss/kstack.h
src/search/bliss/orbit.cc
src/search/bliss/orbit.h
src/search/bliss/partition.cc
src/search/bliss/partition.h
src/search/bliss/timer.cc
src/search/bliss/timer.h
src/search/bliss/uintseqhash.cc
src/search/bliss/uintseqhash.h
src/search/bliss/utils.cc
src/search/bliss/utils.h
src/search/cegar/abstract_search.cc
src/search/cegar/abstract_search.h
src/search/cegar/abstract_state.cc
src/search/cegar/abstract_state.h
src/search/cegar/abstraction.cc
src/search/cegar/abstraction.h
src/search/cegar/additive_cartesian_heuristic.cc
src/search/cegar/additive_cartesian_heuristic.h
src/search/cegar/cartesian_heuristic_function.cc
src/search/cegar/cartesian_heuristic_function.h
src/search/cegar/cost_saturation.cc
src/search/cegar/cost_saturation.h
src/search/cegar/domains.cc
src/search/cegar/domains.h
src/search/cegar/refinement_hierarchy.cc
src/search/cegar/refinement_hierarchy.h
src/search/cegar/split_selector.cc
src/search/cegar/split_selector.h
src/search/cegar/subtask_generators.cc
src/search/cegar/subtask_generators.h
src/search/cegar/transition.h
src/search/cegar/transition_updater.cc
src/search/cegar/transition_updater.h
src/search/cegar/utils.cc
src/search/cegar/utils.h
src/search/cegar/utils_landmarks.cc
src/search/cegar/utils_landmarks.h
src/search/evaluators/combining_evaluator.cc
src/search/evaluators/combining_evaluator.h
src/search/evaluators/const_evaluator.cc
src/search/evaluators/const_evaluator.h
src/search/evaluators/g_evaluator.cc
src/search/evaluators/g_evaluator.h
src/search/evaluators/max_evaluator.cc
src/search/evaluators/max_evaluator.h
src/search/evaluators/pref_evaluator.cc
src/search/evaluators/pref_evaluator.h
src/search/evaluators/sum_evaluator.cc
src/search/evaluators/sum_evaluator.h
src/search/evaluators/weighted_evaluator.cc
src/search/evaluators/weighted_evaluator.h
src/search/ext/tree.hh
src/search/ext/tree_util.hh
src/search/heuristics/additive_heuristic.cc
src/search/heuristics/additive_heuristic.h
src/search/heuristics/blind_search_heuristic.cc
src/search/heuristics/blind_search_heuristic.h
src/search/heuristics/cea_heuristic.cc
src/search/heuristics/cea_heuristic.h
src/search/heuristics/cg_cache.cc
src/search/heuristics/cg_cache.h
src/search/heuristics/cg_heuristic.cc
src/search/heuristics/cg_heuristic.h
src/search/heuristics/ff_heuristic.cc
src/search/heuristics/ff_heuristic.h
src/search/heuristics/goal_count_heuristic.cc
src/search/heuristics/goal_count_heuristic.h
src/search/heuristics/hm_heuristic.cc
src/search/heuristics/hm_heuristic.h
src/search/heuristics/lm_cut_heuristic.cc
src/search/heuristics/lm_cut_heuristic.h
src/search/heuristics/lm_cut_landmarks.cc
src/search/heuristics/lm_cut_landmarks.h
src/search/heuristics/max_heuristic.cc
src/search/heuristics/max_heuristic.h
src/search/heuristics/relaxation_heuristic.cc
src/search/heuristics/relaxation_heuristic.h
src/search/kstar/kstar.cc
src/search/kstar/kstar.h
src/search/kstar/kstar_types.h
src/search/kstar/plan_reconstructor.cc
src/search/kstar/plan_reconstructor.h
src/search/kstar/successor_generator.cc
src/search/kstar/successor_generator.h
src/search/kstar/util.cc
src/search/kstar/util.h
src/search/landmarks/exploration.cc
src/search/landmarks/exploration.h
src/search/landmarks/lama_ff_synergy.cc
src/search/landmarks/lama_ff_synergy.h
src/search/landmarks/landmark_cost_assignment.cc
src/search/landmarks/landmark_cost_assignment.h
src/search/landmarks/landmark_count_heuristic.cc
src/search/landmarks/landmark_count_heuristic.h
src/search/landmarks/landmark_factory.cc
src/search/landmarks/landmark_factory.h
src/search/landmarks/landmark_factory_h_m.cc
src/search/landmarks/landmark_factory_h_m.h
src/search/landmarks/landmark_factory_merged.cc
src/search/landmarks/landmark_factory_merged.h
src/search/landmarks/landmark_factory_rpg_exhaust.cc
src/search/landmarks/landmark_factory_rpg_exhaust.h
src/search/landmarks/landmark_factory_rpg_sasp.cc
src/search/landmarks/landmark_factory_rpg_sasp.h
src/search/landmarks/landmark_factory_zhu_givan.cc
src/search/landmarks/landmark_factory_zhu_givan.h
src/search/landmarks/landmark_graph.cc
src/search/landmarks/landmark_graph.h
src/search/landmarks/landmark_status_manager.cc
src/search/landmarks/landmark_status_manager.h
src/search/landmarks/util.cc
src/search/landmarks/util.h
src/search/lp/lp_internals.cc
src/search/lp/lp_internals.h
src/search/lp/lp_solver.cc
src/search/lp/lp_solver.h
src/search/merge_and_shrink/distances.cc
src/search/merge_and_shrink/distances.h
src/search/merge_and_shrink/factored_transition_system.cc
src/search/merge_and_shrink/factored_transition_system.h
src/search/merge_and_shrink/fts_factory.cc
src/search/merge_and_shrink/fts_factory.h
src/search/merge_and_shrink/label_equivalence_relation.cc
src/search/merge_and_shrink/label_equivalence_relation.h
src/search/merge_and_shrink/label_reduction.cc
src/search/merge_and_shrink/label_reduction.h
src/search/merge_and_shrink/labels.cc
src/search/merge_and_shrink/labels.h
src/search/merge_and_shrink/merge_and_shrink_heuristic.cc
src/search/merge_and_shrink/merge_and_shrink_heuristic.h
src/search/merge_and_shrink/merge_and_shrink_representation.cc
src/search/merge_and_shrink/merge_and_shrink_representation.h
src/search/merge_and_shrink/merge_scoring_function.cc
src/search/merge_and_shrink/merge_scoring_function.h
src/search/merge_and_shrink/merge_scoring_function_dfp.cc
src/search/merge_and_shrink/merge_scoring_function_dfp.h
src/search/merge_and_shrink/merge_scoring_function_goal_relevance.cc
src/search/merge_and_shrink/merge_scoring_function_goal_relevance.h
src/search/merge_and_shrink/merge_scoring_function_single_random.cc
src/search/merge_and_shrink/merge_scoring_function_single_random.h
src/search/merge_and_shrink/merge_scoring_function_total_order.cc
src/search/merge_and_shrink/merge_scoring_function_total_order.h
src/search/merge_and_shrink/merge_selector.cc
src/search/merge_and_shrink/merge_selector.h
src/search/merge_and_shrink/merge_selector_score_based_filtering.cc
src/search/merge_and_shrink/merge_selector_score_based_filtering.h
src/search/merge_and_shrink/merge_strategy.cc
src/search/merge_and_shrink/merge_strategy.h
src/search/merge_and_shrink/merge_strategy_aliases.cc
src/search/merge_and_shrink/merge_strategy_factory.cc
src/search/merge_and_shrink/merge_strategy_factory.h
src/search/merge_and_shrink/merge_strategy_factory_precomputed.cc
src/search/merge_and_shrink/merge_strategy_factory_precomputed.h
src/search/merge_and_shrink/merge_strategy_factory_stateless.cc
src/search/merge_and_shrink/merge_strategy_factory_stateless.h
src/search/merge_and_shrink/merge_strategy_precomputed.cc
src/search/merge_and_shrink/merge_strategy_precomputed.h
src/search/merge_and_shrink/merge_strategy_stateless.cc
src/search/merge_and_shrink/merge_strategy_stateless.h
src/search/merge_and_shrink/merge_tree.cc
src/search/merge_and_shrink/merge_tree.h
src/search/merge_and_shrink/merge_tree_factory.cc
src/search/merge_and_shrink/merge_tree_factory.h
src/search/merge_and_shrink/merge_tree_factory_linear.cc
src/search/merge_and_shrink/merge_tree_factory_linear.h
src/search/merge_and_shrink/shrink_bisimulation.cc
src/search/merge_and_shrink/shrink_bisimulation.h
src/search/merge_and_shrink/shrink_bucket_based.cc
src/search/merge_and_shrink/shrink_bucket_based.h
src/search/merge_and_shrink/shrink_fh.cc
src/search/merge_and_shrink/shrink_fh.h
src/search/merge_and_shrink/shrink_random.cc
src/search/merge_and_shrink/shrink_random.h
src/search/merge_and_shrink/shrink_strategy.cc
src/search/merge_and_shrink/shrink_strategy.h
src/search/merge_and_shrink/transition_system.cc
src/search/merge_and_shrink/transition_system.h
src/search/merge_and_shrink/types.cc
src/search/merge_and_shrink/types.h
src/search/merge_and_shrink/utils.cc
src/search/merge_and_shrink/utils.h
src/search/open_lists/alternation_open_list.cc
src/search/open_lists/alternation_open_list.h
src/search/open_lists/epsilon_greedy_open_list.cc
src/search/open_lists/epsilon_greedy_open_list.h
src/search/open_lists/open_list.h
src/search/open_lists/open_list_factory.cc
src/search/open_lists/open_list_factory.h
src/search/open_lists/pareto_open_list.cc
src/search/open_lists/pareto_open_list.h
src/search/open_lists/standard_scalar_open_list.cc
src/search/open_lists/standard_scalar_open_list.h
src/search/open_lists/tiebreaking_open_list.cc
src/search/open_lists/tiebreaking_open_list.h
src/search/open_lists/type_based_open_list.cc
src/search/open_lists/type_based_open_list.h
src/search/operator_counting/constraint_generator.cc
src/search/operator_counting/constraint_generator.h
src/search/operator_counting/lm_cut_constraints.cc
src/search/operator_counting/lm_cut_constraints.h
src/search/operator_counting/operator_counting_heuristic.cc
src/search/operator_counting/operator_counting_heuristic.h
src/search/operator_counting/pho_constraints.cc
src/search/operator_counting/pho_constraints.h
src/search/operator_counting/state_equation_constraints.cc
src/search/operator_counting/state_equation_constraints.h
src/search/options/any.h
src/search/options/bounds.cc
src/search/options/bounds.h
src/search/options/doc_printer.cc
src/search/options/doc_printer.h
src/search/options/doc_store.cc
src/search/options/doc_store.h
src/search/options/errors.cc
src/search/options/errors.h
src/search/options/option_parser.cc
src/search/options/option_parser.h
src/search/options/options.h
src/search/options/parse_tree.h
src/search/options/plugin.cc
src/search/options/plugin.h
src/search/options/predefinitions.h
src/search/options/registries.cc
src/search/options/registries.h
src/search/options/synergy.h
src/search/options/token_parser.h
src/search/options/type_documenter.h
src/search/options/type_namer.h
src/search/pdbs/canonical_pdbs.cc
src/search/pdbs/canonical_pdbs.h
src/search/pdbs/canonical_pdbs_heuristic.cc
src/search/pdbs/canonical_pdbs_heuristic.h
src/search/pdbs/dominance_pruning.cc
src/search/pdbs/dominance_pruning.h
src/search/pdbs/incremental_canonical_pdbs.cc
src/search/pdbs/incremental_canonical_pdbs.h
src/search/pdbs/match_tree.cc
src/search/pdbs/match_tree.h
src/search/pdbs/max_additive_pdb_sets.cc
src/search/pdbs/max_additive_pdb_sets.h
src/search/pdbs/pattern_collection_generator_combo.cc
src/search/pdbs/pattern_collection_generator_combo.h
src/search/pdbs/pattern_collection_generator_genetic.cc
src/search/pdbs/pattern_collection_generator_genetic.h
src/search/pdbs/pattern_collection_generator_hillclimbing.cc
src/search/pdbs/pattern_collection_generator_hillclimbing.h
src/search/pdbs/pattern_collection_generator_manual.cc
src/search/pdbs/pattern_collection_generator_manual.h
src/search/pdbs/pattern_collection_generator_systematic.cc
src/search/pdbs/pattern_collection_generator_systematic.h
src/search/pdbs/pattern_collection_information.cc
src/search/pdbs/pattern_collection_information.h
src/search/pdbs/pattern_database.cc
src/search/pdbs/pattern_database.h
src/search/pdbs/pattern_generator.cc
src/search/pdbs/pattern_generator.h
src/search/pdbs/pattern_generator_greedy.cc
src/search/pdbs/pattern_generator_greedy.h
src/search/pdbs/pattern_generator_manual.cc
src/search/pdbs/pattern_generator_manual.h
src/search/pdbs/pdb_heuristic.cc
src/search/pdbs/pdb_heuristic.h
src/search/pdbs/types.h
src/search/pdbs/validation.cc
src/search/pdbs/validation.h
src/search/pdbs/zero_one_pdbs.cc
src/search/pdbs/zero_one_pdbs.h
src/search/pdbs/zero_one_pdbs_heuristic.cc
src/search/pdbs/zero_one_pdbs_heuristic.h
src/search/potentials/diverse_potential_heuristics.cc
src/search/potentials/diverse_potential_heuristics.h
src/search/potentials/potential_function.cc
src/search/potentials/potential_function.h
src/search/potentials/potential_heuristic.cc
src/search/potentials/potential_heuristic.h
src/search/potentials/potential_max_heuristic.cc
src/search/potentials/potential_max_heuristic.h
src/search/potentials/potential_optimizer.cc
src/search/potentials/potential_optimizer.h
src/search/potentials/sample_based_potential_heuristics.cc
src/search/potentials/single_potential_heuristics.cc
src/search/potentials/util.cc
src/search/potentials/util.h
src/search/pruning/null_pruning_method.cc
src/search/pruning/null_pruning_method.h
src/search/pruning/stubborn_sets.cc
src/search/pruning/stubborn_sets.h
src/search/pruning/stubborn_sets_ec.cc
src/search/pruning/stubborn_sets_ec.h
src/search/pruning/stubborn_sets_simple.cc
src/search/pruning/stubborn_sets_simple.h
src/search/search_engines/eager_search.cc
src/search/search_engines/eager_search.h
src/search/search_engines/enforced_hill_climbing_search.cc
src/search/search_engines/enforced_hill_climbing_search.h
src/search/search_engines/iterated_search.cc
src/search/search_engines/iterated_search.h
src/search/search_engines/lazy_search.cc
src/search/search_engines/lazy_search.h
src/search/search_engines/search_common.cc
src/search/search_engines/search_common.h
src/search/search_engines/top_k_eager_search.cc
src/search/search_engines/top_k_eager_search.h
src/search/structural_symmetries/graph_creator.cc
src/search/structural_symmetries/graph_creator.h
src/search/structural_symmetries/group.cc
src/search/structural_symmetries/group.h
src/search/structural_symmetries/operator_permutation.cc
src/search/structural_symmetries/operator_permutation.h
src/search/structural_symmetries/permutation.cc
src/search/structural_symmetries/permutation.h
src/search/tasks/cost_adapted_task.cc
src/search/tasks/cost_adapted_task.h
src/search/tasks/delegating_task.cc
src/search/tasks/delegating_task.h
src/search/tasks/domain_abstracted_task.cc
src/search/tasks/domain_abstracted_task.h
src/search/tasks/domain_abstracted_task_factory.cc
src/search/tasks/domain_abstracted_task_factory.h
src/search/tasks/modified_goals_task.cc
src/search/tasks/modified_goals_task.h
src/search/tasks/modified_operator_costs_task.cc
src/search/tasks/modified_operator_costs_task.h
src/search/tasks/plan_forbid_reformulated_task.cc
src/search/tasks/plan_forbid_reformulated_task.h
src/search/tasks/root_task.cc
src/search/tasks/root_task.h
src/search/utils/collections.h
src/search/utils/countdown_timer.cc
src/search/utils/countdown_timer.h
src/search/utils/hash.h
src/search/utils/language.h
src/search/utils/logging.cc
src/search/utils/logging.h
src/search/utils/markup.cc
src/search/utils/markup.h
src/search/utils/math.cc
src/search/utils/math.h
src/search/utils/memory.cc
src/search/utils/memory.h
src/search/utils/rng.cc
src/search/utils/rng.h
src/search/utils/rng_options.cc
src/search/utils/rng_options.h
src/search/utils/system.cc
src/search/utils/system.h
src/search/utils/system_unix.cc
src/search/utils/system_unix.h
src/search/utils/system_windows.cc
src/search/utils/system_windows.h
src/search/utils/timer.cc
src/search/utils/timer.h
src/search/utils/util.h
src/search/abstract_task.cc
src/search/abstract_task.h
src/search/axioms.cc
src/search/axioms.h
src/search/causal_graph.cc
src/search/causal_graph.h
src/search/domain_transition_graph.cc
src/search/domain_transition_graph.h
src/search/evaluation_context.cc
src/search/evaluation_context.h
src/search/evaluation_result.cc
src/search/evaluation_result.h
src/search/global_operator.cc
src/search/global_operator.h
src/search/global_state.cc
src/search/global_state.h
src/search/globals.cc
src/search/globals.h
src/search/heuristic.cc
src/search/heuristic.h
src/search/heuristic_cache.cc
src/search/heuristic_cache.h
src/search/operator_cost.cc
src/search/operator_cost.h
src/search/option_parser.h
src/search/option_parser_util.h
src/search/per_state_information.h
src/search/planner.cc
src/search/plugin.h
src/search/pruning_method.cc
src/search/pruning_method.h
src/search/sampling.cc
src/search/sampling.h
src/search/scalar_evaluator.cc
src/search/scalar_evaluator.h
src/search/search_engine.cc
src/search/search_engine.h
src/search/search_node_info.cc
src/search/search_node_info.h
src/search/search_progress.cc
src/search/search_progress.h
src/search/search_space.cc
src/search/search_space.h
src/search/search_statistics.cc
src/search/search_statistics.h
src/search/state_action_pair.cc
src/search/state_action_pair.h
src/search/state_id.cc
src/search/state_id.h
src/search/state_registry.cc
src/search/state_registry.h
src/search/successor_generator.cc
src/search/successor_generator.h
src/search/task_proxy.cc
src/search/task_proxy.h
src/search/task_tools.cc
src/search/task_tools.h
src/search/variable_order_finder.cc
src/search/variable_order_finder.h)
add_executable(new_kstar ${SOURCE_FILES})