CMakeLists.txt
Config.cmake.in
MANIFEST.in
README.md
pyproject.toml
setup.py
cmake/configure_boost.cmake
cmake/configure_ccache.cmake
dependencies/CMakeLists.txt
dependencies/abseil/CMakeLists.txt
dependencies/argparse/CMakeLists.txt
dependencies/benchmark/CMakeLists.txt
dependencies/boost/CMakeLists.txt
dependencies/cista/CMakeLists.txt
dependencies/fmt/CMakeLists.txt
dependencies/googletest/CMakeLists.txt
dependencies/gtl/CMakeLists.txt
dependencies/loki/CMakeLists.txt
dependencies/nanobind/CMakeLists.txt
dependencies/oneTBB/CMakeLists.txt
dependencies/valla/CMakeLists.txt
exe/CMakeLists.txt
exe/astar_eager.cpp
exe/gbfs_lazy.cpp
include/tyr/tyr.hpp
include/tyr/analysis/analysis.hpp
include/tyr/analysis/declarations.hpp
include/tyr/analysis/domains.hpp
include/tyr/analysis/listeners.hpp
include/tyr/analysis/stratification.hpp
include/tyr/buffer/buffer.hpp
include/tyr/buffer/declarations.hpp
include/tyr/buffer/indexed_hash_set.hpp
include/tyr/buffer/segmented_buffer.hpp
include/tyr/common/array.hpp
include/tyr/common/bit.hpp
include/tyr/common/bit_packed_array_pool.hpp
include/tyr/common/bit_packed_array_set.hpp
include/tyr/common/bit_packed_layout.hpp
include/tyr/common/block_array_pool.hpp
include/tyr/common/block_array_set.hpp
include/tyr/common/canonicalization.hpp
include/tyr/common/chrono.hpp
include/tyr/common/closed_interval.hpp
include/tyr/common/common.hpp
include/tyr/common/comparators.hpp
include/tyr/common/config.hpp
include/tyr/common/declarations.hpp
include/tyr/common/dynamic_bitset.hpp
include/tyr/common/equal_to.hpp
include/tyr/common/formatter.hpp
include/tyr/common/hash.hpp
include/tyr/common/index_mixins.hpp
include/tyr/common/indexed_hash_set.hpp
include/tyr/common/iostream.hpp
include/tyr/common/itertools.hpp
include/tyr/common/macros.hpp
include/tyr/common/memory.hpp
include/tyr/common/observer_ptr.hpp
include/tyr/common/optional.hpp
include/tyr/common/raw_array_pool.hpp
include/tyr/common/raw_array_set.hpp
include/tyr/common/segmented_vector.hpp
include/tyr/common/shared_object_pool.hpp
include/tyr/common/tuple.hpp
include/tyr/common/types.hpp
include/tyr/common/types_utils.hpp
include/tyr/common/uint_mixins.hpp
include/tyr/common/unique_object_pool.hpp
include/tyr/common/unordered_set.hpp
include/tyr/common/variant.hpp
include/tyr/common/vector.hpp
include/tyr/datalog/applicability.hpp
include/tyr/datalog/applicability.ipp
include/tyr/datalog/assignment.hpp
include/tyr/datalog/assignment_sets.hpp
include/tyr/datalog/bottom_up.hpp
include/tyr/datalog/consistency_graph.hpp
include/tyr/datalog/datalog.hpp
include/tyr/datalog/declarations.hpp
include/tyr/datalog/delta_kpkc.hpp
include/tyr/datalog/delta_kpkc_graph.hpp
include/tyr/datalog/fact_sets.hpp
include/tyr/datalog/formatter.hpp
include/tyr/datalog/program_context.hpp
include/tyr/datalog/rule_scheduler.hpp
include/tyr/datalog/contexts/program.hpp
include/tyr/datalog/contexts/rule.hpp
include/tyr/datalog/contexts/stratum.hpp
include/tyr/datalog/policies/aggregation.hpp
include/tyr/datalog/policies/annotation.hpp
include/tyr/datalog/policies/annotation_types.hpp
include/tyr/datalog/policies/termination.hpp
include/tyr/datalog/statistics/program.hpp
include/tyr/datalog/statistics/rule.hpp
include/tyr/datalog/workspaces/d2p.hpp
include/tyr/datalog/workspaces/facts.hpp
include/tyr/datalog/workspaces/program.hpp
include/tyr/datalog/workspaces/rule.hpp
include/tyr/formalism/arithmetic_operator_utils.hpp
include/tyr/formalism/basic_builder.hpp
include/tyr/formalism/basic_relation_repository.hpp
include/tyr/formalism/basic_symbol_repository.hpp
include/tyr/formalism/binding_data.hpp
include/tyr/formalism/binding_index.hpp
include/tyr/formalism/binding_view.hpp
include/tyr/formalism/boolean_operator_utils.hpp
include/tyr/formalism/canonicalization.hpp
include/tyr/formalism/datas.hpp
include/tyr/formalism/declarations.hpp
include/tyr/formalism/formalism.hpp
include/tyr/formalism/formatter.hpp
include/tyr/formalism/function_data.hpp
include/tyr/formalism/function_index.hpp
include/tyr/formalism/function_view.hpp
include/tyr/formalism/indices.hpp
include/tyr/formalism/object_data.hpp
include/tyr/formalism/object_index.hpp
include/tyr/formalism/object_view.hpp
include/tyr/formalism/parameter_index.hpp
include/tyr/formalism/predicate_data.hpp
include/tyr/formalism/predicate_index.hpp
include/tyr/formalism/predicate_view.hpp
include/tyr/formalism/relation_repository.hpp
include/tyr/formalism/repository.hpp
include/tyr/formalism/symbol_repository.hpp
include/tyr/formalism/term_data.hpp
include/tyr/formalism/term_view.hpp
include/tyr/formalism/variable_data.hpp
include/tyr/formalism/variable_index.hpp
include/tyr/formalism/variable_view.hpp
include/tyr/formalism/views.hpp
include/tyr/formalism/datalog/arithmetic_operator_data.hpp
include/tyr/formalism/datalog/arithmetic_operator_view.hpp
include/tyr/formalism/datalog/atom_data.hpp
include/tyr/formalism/datalog/atom_index.hpp
include/tyr/formalism/datalog/atom_view.hpp
include/tyr/formalism/datalog/binary_operator_data.hpp
include/tyr/formalism/datalog/binary_operator_index.hpp
include/tyr/formalism/datalog/binary_operator_view.hpp
include/tyr/formalism/datalog/boolean_operator_data.hpp
include/tyr/formalism/datalog/boolean_operator_view.hpp
include/tyr/formalism/datalog/builder.hpp
include/tyr/formalism/datalog/canonicalization.hpp
include/tyr/formalism/datalog/conjunctive_condition_data.hpp
include/tyr/formalism/datalog/conjunctive_condition_index.hpp
include/tyr/formalism/datalog/conjunctive_condition_view.hpp
include/tyr/formalism/datalog/datalog.hpp
include/tyr/formalism/datalog/datas.hpp
include/tyr/formalism/datalog/declarations.hpp
include/tyr/formalism/datalog/expression_arity.hpp
include/tyr/formalism/datalog/expression_properties.hpp
include/tyr/formalism/datalog/formalism.hpp
include/tyr/formalism/datalog/formatter.hpp
include/tyr/formalism/datalog/function_expression_data.hpp
include/tyr/formalism/datalog/function_expression_view.hpp
include/tyr/formalism/datalog/function_term_data.hpp
include/tyr/formalism/datalog/function_term_index.hpp
include/tyr/formalism/datalog/function_term_view.hpp
include/tyr/formalism/datalog/ground_atom_data.hpp
include/tyr/formalism/datalog/ground_atom_index.hpp
include/tyr/formalism/datalog/ground_atom_view.hpp
include/tyr/formalism/datalog/ground_conjunctive_condition_data.hpp
include/tyr/formalism/datalog/ground_conjunctive_condition_index.hpp
include/tyr/formalism/datalog/ground_conjunctive_condition_view.hpp
include/tyr/formalism/datalog/ground_function_expression_data.hpp
include/tyr/formalism/datalog/ground_function_expression_view.hpp
include/tyr/formalism/datalog/ground_function_term_data.hpp
include/tyr/formalism/datalog/ground_function_term_index.hpp
include/tyr/formalism/datalog/ground_function_term_value_data.hpp
include/tyr/formalism/datalog/ground_function_term_value_index.hpp
include/tyr/formalism/datalog/ground_function_term_value_view.hpp
include/tyr/formalism/datalog/ground_function_term_view.hpp
include/tyr/formalism/datalog/ground_literal_data.hpp
include/tyr/formalism/datalog/ground_literal_index.hpp
include/tyr/formalism/datalog/ground_literal_view.hpp
include/tyr/formalism/datalog/ground_rule_data.hpp
include/tyr/formalism/datalog/ground_rule_index.hpp
include/tyr/formalism/datalog/ground_rule_view.hpp
include/tyr/formalism/datalog/grounder.hpp
include/tyr/formalism/datalog/grounder.ipp
include/tyr/formalism/datalog/indices.hpp
include/tyr/formalism/datalog/literal_data.hpp
include/tyr/formalism/datalog/literal_index.hpp
include/tyr/formalism/datalog/literal_view.hpp
include/tyr/formalism/datalog/merge.hpp
include/tyr/formalism/datalog/merge.ipp
include/tyr/formalism/datalog/multi_operator_data.hpp
include/tyr/formalism/datalog/multi_operator_index.hpp
include/tyr/formalism/datalog/multi_operator_view.hpp
include/tyr/formalism/datalog/program_data.hpp
include/tyr/formalism/datalog/program_index.hpp
include/tyr/formalism/datalog/program_view.hpp
include/tyr/formalism/datalog/repository.hpp
include/tyr/formalism/datalog/rule_data.hpp
include/tyr/formalism/datalog/rule_index.hpp
include/tyr/formalism/datalog/rule_view.hpp
include/tyr/formalism/datalog/unary_operator_data.hpp
include/tyr/formalism/datalog/unary_operator_index.hpp
include/tyr/formalism/datalog/unary_operator_view.hpp
include/tyr/formalism/datalog/variable_dependency_graph.hpp
include/tyr/formalism/datalog/views.hpp
include/tyr/formalism/planning/action_data.hpp
include/tyr/formalism/planning/action_index.hpp
include/tyr/formalism/planning/action_view.hpp
include/tyr/formalism/planning/arithmetic_operator_data.hpp
include/tyr/formalism/planning/arithmetic_operator_view.hpp
include/tyr/formalism/planning/atom_data.hpp
include/tyr/formalism/planning/atom_index.hpp
include/tyr/formalism/planning/atom_view.hpp
include/tyr/formalism/planning/axiom_data.hpp
include/tyr/formalism/planning/axiom_index.hpp
include/tyr/formalism/planning/axiom_view.hpp
include/tyr/formalism/planning/binary_operator_data.hpp
include/tyr/formalism/planning/binary_operator_index.hpp
include/tyr/formalism/planning/binary_operator_view.hpp
include/tyr/formalism/planning/boolean_operator_data.hpp
include/tyr/formalism/planning/boolean_operator_view.hpp
include/tyr/formalism/planning/builder.hpp
include/tyr/formalism/planning/canonicalization.hpp
include/tyr/formalism/planning/conditional_effect_data.hpp
include/tyr/formalism/planning/conditional_effect_index.hpp
include/tyr/formalism/planning/conditional_effect_view.hpp
include/tyr/formalism/planning/conjunctive_condition_data.hpp
include/tyr/formalism/planning/conjunctive_condition_index.hpp
include/tyr/formalism/planning/conjunctive_condition_view.hpp
include/tyr/formalism/planning/conjunctive_effect_data.hpp
include/tyr/formalism/planning/conjunctive_effect_index.hpp
include/tyr/formalism/planning/conjunctive_effect_view.hpp
include/tyr/formalism/planning/datas.hpp
include/tyr/formalism/planning/declarations.hpp
include/tyr/formalism/planning/domain_data.hpp
include/tyr/formalism/planning/domain_index.hpp
include/tyr/formalism/planning/domain_view.hpp
include/tyr/formalism/planning/fdr_context.hpp
include/tyr/formalism/planning/fdr_fact_data.hpp
include/tyr/formalism/planning/fdr_fact_view.hpp
include/tyr/formalism/planning/fdr_task_data.hpp
include/tyr/formalism/planning/fdr_task_index.hpp
include/tyr/formalism/planning/fdr_task_view.hpp
include/tyr/formalism/planning/fdr_value.hpp
include/tyr/formalism/planning/fdr_variable_data.hpp
include/tyr/formalism/planning/fdr_variable_index.hpp
include/tyr/formalism/planning/fdr_variable_view.hpp
include/tyr/formalism/planning/formatter.hpp
include/tyr/formalism/planning/function_expression_data.hpp
include/tyr/formalism/planning/function_expression_view.hpp
include/tyr/formalism/planning/function_term_data.hpp
include/tyr/formalism/planning/function_term_index.hpp
include/tyr/formalism/planning/function_term_view.hpp
include/tyr/formalism/planning/ground_action_data.hpp
include/tyr/formalism/planning/ground_action_index.hpp
include/tyr/formalism/planning/ground_action_view.hpp
include/tyr/formalism/planning/ground_atom_data.hpp
include/tyr/formalism/planning/ground_atom_index.hpp
include/tyr/formalism/planning/ground_atom_view.hpp
include/tyr/formalism/planning/ground_axiom_data.hpp
include/tyr/formalism/planning/ground_axiom_index.hpp
include/tyr/formalism/planning/ground_axiom_view.hpp
include/tyr/formalism/planning/ground_conditional_effect_data.hpp
include/tyr/formalism/planning/ground_conditional_effect_index.hpp
include/tyr/formalism/planning/ground_conditional_effect_view.hpp
include/tyr/formalism/planning/ground_conjunctive_condition_data.hpp
include/tyr/formalism/planning/ground_conjunctive_condition_index.hpp
include/tyr/formalism/planning/ground_conjunctive_condition_view.hpp
include/tyr/formalism/planning/ground_conjunctive_effect_data.hpp
include/tyr/formalism/planning/ground_conjunctive_effect_index.hpp
include/tyr/formalism/planning/ground_conjunctive_effect_view.hpp
include/tyr/formalism/planning/ground_function_expression_data.hpp
include/tyr/formalism/planning/ground_function_expression_view.hpp
include/tyr/formalism/planning/ground_function_term_data.hpp
include/tyr/formalism/planning/ground_function_term_index.hpp
include/tyr/formalism/planning/ground_function_term_value_data.hpp
include/tyr/formalism/planning/ground_function_term_value_index.hpp
include/tyr/formalism/planning/ground_function_term_value_view.hpp
include/tyr/formalism/planning/ground_function_term_view.hpp
include/tyr/formalism/planning/ground_literal_data.hpp
include/tyr/formalism/planning/ground_literal_index.hpp
include/tyr/formalism/planning/ground_literal_view.hpp
include/tyr/formalism/planning/ground_numeric_effect_data.hpp
include/tyr/formalism/planning/ground_numeric_effect_index.hpp
include/tyr/formalism/planning/ground_numeric_effect_operator_data.hpp
include/tyr/formalism/planning/ground_numeric_effect_operator_utils.hpp
include/tyr/formalism/planning/ground_numeric_effect_operator_view.hpp
include/tyr/formalism/planning/ground_numeric_effect_view.hpp
include/tyr/formalism/planning/grounder.hpp
include/tyr/formalism/planning/grounder.ipp
include/tyr/formalism/planning/indices.hpp
include/tyr/formalism/planning/literal_data.hpp
include/tyr/formalism/planning/literal_index.hpp
include/tyr/formalism/planning/literal_view.hpp
include/tyr/formalism/planning/merge.hpp
include/tyr/formalism/planning/merge.ipp
include/tyr/formalism/planning/merge_datalog.hpp
include/tyr/formalism/planning/merge_datalog.ipp
include/tyr/formalism/planning/merge_datalog_decl.hpp
include/tyr/formalism/planning/merge_planning.hpp
include/tyr/formalism/planning/merge_planning.ipp
include/tyr/formalism/planning/merge_planning_decl.hpp
include/tyr/formalism/planning/metric_data.hpp
include/tyr/formalism/planning/metric_index.hpp
include/tyr/formalism/planning/metric_view.hpp
include/tyr/formalism/planning/multi_operator_data.hpp
include/tyr/formalism/planning/multi_operator_index.hpp
include/tyr/formalism/planning/multi_operator_view.hpp
include/tyr/formalism/planning/numeric_effect_data.hpp
include/tyr/formalism/planning/numeric_effect_index.hpp
include/tyr/formalism/planning/numeric_effect_operator_data.hpp
include/tyr/formalism/planning/numeric_effect_operator_view.hpp
include/tyr/formalism/planning/numeric_effect_view.hpp
include/tyr/formalism/planning/parser.hpp
include/tyr/formalism/planning/planning.hpp
include/tyr/formalism/planning/planning_domain.hpp
include/tyr/formalism/planning/planning_fdr_task.hpp
include/tyr/formalism/planning/planning_task.hpp
include/tyr/formalism/planning/repository.hpp
include/tyr/formalism/planning/task_data.hpp
include/tyr/formalism/planning/task_index.hpp
include/tyr/formalism/planning/task_view.hpp
include/tyr/formalism/planning/unary_operator_data.hpp
include/tyr/formalism/planning/unary_operator_index.hpp
include/tyr/formalism/planning/unary_operator_view.hpp
include/tyr/formalism/planning/views.hpp
include/tyr/planning/action_executor.hpp
include/tyr/planning/applicability.hpp
include/tyr/planning/applicability.ipp
include/tyr/planning/applicability_decl.hpp
include/tyr/planning/axiom_evaluator.hpp
include/tyr/planning/declarations.hpp
include/tyr/planning/formatter.hpp
include/tyr/planning/ground_task.hpp
include/tyr/planning/heuristic.hpp
include/tyr/planning/lifted_task.hpp
include/tyr/planning/node.hpp
include/tyr/planning/plan.hpp
include/tyr/planning/planning.hpp
include/tyr/planning/search_node.hpp
include/tyr/planning/search_space.hpp
include/tyr/planning/state_data.hpp
include/tyr/planning/state_index.hpp
include/tyr/planning/state_iterators.hpp
include/tyr/planning/state_repository.hpp
include/tyr/planning/state_view.hpp
include/tyr/planning/successor_generator.hpp
include/tyr/planning/task_utils.hpp
include/tyr/planning/unpacked_state.hpp
include/tyr/planning/algorithms/astar_eager.hpp
include/tyr/planning/algorithms/gbfs_lazy.hpp
include/tyr/planning/algorithms/statistics.hpp
include/tyr/planning/algorithms/utils.hpp
include/tyr/planning/algorithms/astar_eager/event_handler.hpp
include/tyr/planning/algorithms/gbfs_lazy/event_handler.hpp
include/tyr/planning/algorithms/openlists/alternating.hpp
include/tyr/planning/algorithms/openlists/interface.hpp
include/tyr/planning/algorithms/openlists/priority_queue.hpp
include/tyr/planning/algorithms/strategies/goal.hpp
include/tyr/planning/algorithms/strategies/pruning.hpp
include/tyr/planning/ground_task/axiom_evaluator.hpp
include/tyr/planning/ground_task/axiom_stratification.hpp
include/tyr/planning/ground_task/node.hpp
include/tyr/planning/ground_task/state_data.hpp
include/tyr/planning/ground_task/state_iterators.hpp
include/tyr/planning/ground_task/state_repository.hpp
include/tyr/planning/ground_task/state_view.hpp
include/tyr/planning/ground_task/successor_generator.hpp
include/tyr/planning/ground_task/unpacked_state.hpp
include/tyr/planning/ground_task/match_tree/canonicalization.hpp
include/tyr/planning/ground_task/match_tree/declarations.hpp
include/tyr/planning/ground_task/match_tree/match_tree.hpp
include/tyr/planning/ground_task/match_tree/repository.hpp
include/tyr/planning/ground_task/match_tree/nodes/atom_data.hpp
include/tyr/planning/ground_task/match_tree/nodes/atom_index.hpp
include/tyr/planning/ground_task/match_tree/nodes/atom_view.hpp
include/tyr/planning/ground_task/match_tree/nodes/constraint_data.hpp
include/tyr/planning/ground_task/match_tree/nodes/constraint_index.hpp
include/tyr/planning/ground_task/match_tree/nodes/constraint_view.hpp
include/tyr/planning/ground_task/match_tree/nodes/generator_data.hpp
include/tyr/planning/ground_task/match_tree/nodes/generator_index.hpp
include/tyr/planning/ground_task/match_tree/nodes/generator_view.hpp
include/tyr/planning/ground_task/match_tree/nodes/node_data.hpp
include/tyr/planning/ground_task/match_tree/nodes/node_view.hpp
include/tyr/planning/ground_task/match_tree/nodes/variable_data.hpp
include/tyr/planning/ground_task/match_tree/nodes/variable_index.hpp
include/tyr/planning/ground_task/match_tree/nodes/variable_view.hpp
include/tyr/planning/heuristics/add.hpp
include/tyr/planning/heuristics/blind.hpp
include/tyr/planning/heuristics/ff.hpp
include/tyr/planning/heuristics/max.hpp
include/tyr/planning/lifted_task/axiom_evaluator.hpp
include/tyr/planning/lifted_task/node.hpp
include/tyr/planning/lifted_task/state_data.hpp
include/tyr/planning/lifted_task/state_iterators.hpp
include/tyr/planning/lifted_task/state_repository.hpp
include/tyr/planning/lifted_task/state_view.hpp
include/tyr/planning/lifted_task/successor_generator.hpp
include/tyr/planning/lifted_task/task_grounder.hpp
include/tyr/planning/lifted_task/unpacked_state.hpp
include/tyr/planning/lifted_task/heuristics/add.hpp
include/tyr/planning/lifted_task/heuristics/ff.hpp
include/tyr/planning/lifted_task/heuristics/max.hpp
include/tyr/planning/lifted_task/heuristics/rpg.hpp
include/tyr/planning/programs/action.hpp
include/tyr/planning/programs/axiom.hpp
include/tyr/planning/programs/ground.hpp
include/tyr/planning/programs/rpg.hpp
python/examples/formalism/planning/builder.py
python/examples/formalism/planning/structures.py
python/examples/planning/astar_eager.py
python/examples/planning/gbfs_lazy.py
python/src/pytyr/CMakeLists.txt
python/src/pytyr/__init__.py
python/src/pytyr/init_declarations.hpp
python/src/pytyr/main.cpp
python/src/pytyr/common/bindings.hpp
python/src/pytyr/formalism/__init__.py
python/src/pytyr/formalism/bindings.cpp
python/src/pytyr/formalism/planning/__init__.py
python/src/pytyr/formalism/planning/bindings.cpp
python/src/pytyr/formalism/planning/bindings.hpp
python/src/pytyr/planning/__init__.py
python/src/pytyr/planning/bindings.cpp
python/src/pytyr/planning/bindings.hpp
python/src/pytyr/planning/ground/__init__.py
python/src/pytyr/planning/ground/astar_eager/__init__.py
python/src/pytyr/planning/ground/gbfs_lazy/__init__.py
python/src/pytyr/planning/lifted/__init__.py
python/src/pytyr/planning/lifted/astar_eager/__init__.py
python/src/pytyr/planning/lifted/gbfs_lazy/__init__.py
python/src/pytyr/utils/optional.hpp
python/src/pytyr/utils/string.hpp
python/src/pytyr/utils/unordered_set.hpp
python/src/pytyr/utils/variant.hpp
python/src/pytyr/utils/vector.hpp
python/tests/.gitkeep
python/tests/formalism/planning/test_parser.py
src/CMakeLists.txt
src/analysis/listeners.cpp
src/analysis/program_domains.cpp
src/analysis/stratification.cpp
src/analysis/stratification_utils.hpp
src/analysis/task_domains.cpp
src/datalog/applicability.cpp
src/datalog/bottom_up.cpp
src/datalog/consistency_graph.cpp
src/datalog/delta_kpkc.cpp
src/datalog/delta_kpkc_graph.cpp
src/datalog/fact_set.cpp
src/datalog/formatter.cpp
src/datalog/rule_scheduler.cpp
src/datalog/policies/annotation.cpp
src/datalog/policies/termination.cpp
src/datalog/workspaces/d2p.cpp
src/datalog/workspaces/facts.cpp
src/datalog/workspaces/program.cpp
src/datalog/workspaces/rule.cpp
src/formalism/datalog/builder.cpp
src/formalism/datalog/formatter.cpp
src/formalism/datalog/grounder.cpp
src/formalism/datalog/merge.cpp
src/formalism/datalog/repository.cpp
src/formalism/datalog/variable_dependency_graph.cpp
src/formalism/datalog/views.cpp
src/formalism/planning/builder.cpp
src/formalism/planning/formatter.cpp
src/formalism/planning/grounder.cpp
src/formalism/planning/loki_to_tyr.cpp
src/formalism/planning/loki_to_tyr.hpp
src/formalism/planning/merge.cpp
src/formalism/planning/merge_datalog.cpp
src/formalism/planning/merge_planning.cpp
src/formalism/planning/parser.cpp
src/formalism/planning/repository.cpp
src/formalism/planning/views.cpp
src/planning/action_executor.cpp
src/planning/applicability.cpp
src/planning/formatter.cpp
src/planning/ground_task.cpp
src/planning/lifted_task.cpp
src/planning/metric.hpp
src/planning/task_utils.cpp
src/planning/algorithms/astar_eager.cpp
src/planning/algorithms/gbfs_lazy.cpp
src/planning/algorithms/astar_eager/event_handler.cpp
src/planning/algorithms/gbfs_lazy/event_handler.cpp
src/planning/ground_task/axiom_evaluator.cpp
src/planning/ground_task/axiom_stratification.cpp
src/planning/ground_task/node.cpp
src/planning/ground_task/state.cpp
src/planning/ground_task/state_repository.cpp
src/planning/ground_task/successor_generator.cpp
src/planning/lifted_task/axiom_evaluator.cpp
src/planning/lifted_task/node.cpp
src/planning/lifted_task/state.cpp
src/planning/lifted_task/state_repository.cpp
src/planning/lifted_task/successor_generator.cpp
src/planning/lifted_task/task_grounder.cpp
src/planning/lifted_task/heuristics/add.cpp
src/planning/lifted_task/heuristics/ff.cpp
src/planning/lifted_task/heuristics/max.cpp
src/planning/programs/action.cpp
src/planning/programs/axiom.cpp
src/planning/programs/common.cpp
src/planning/programs/common.hpp
src/planning/programs/ground.cpp
src/planning/programs/rpg.cpp
tests/CMakeLists.txt
tests/unit/CMakeLists.txt
tests/unit/buffer/indexed_hash_set.cpp
tests/unit/common/bit_packed_array_pool.cpp
tests/unit/common/bit_packed_array_set.cpp
tests/unit/common/bit_packed_layout.cpp
tests/unit/common/dynamic_bitset.cpp
tests/unit/common/vector.cpp
tests/unit/datalog/delta_kpkc.cpp
tests/unit/formalism/builder.cpp
tests/unit/formalism/index.cpp
tests/unit/formalism/repository.cpp
tests/unit/formalism/view.cpp
tests/unit/planning/ground_task.cpp
tests/unit/planning/lifted_task.cpp