CMakeLists.txt
Config.cmake.in
LICENSE.md
MANIFEST.in
README.md
pyproject.toml
requirements.txt
setup.py
api/python/CMakeLists.txt
api/python/src/core.cpp
api/python/src/generator.cpp
api/python/src/main.cpp
api/python/src/novelty.cpp
api/python/src/policy.cpp
api/python/src/state_space.cpp
api/python/src/dlplan/__init__.py
api/python/src/dlplan.egg-info/PKG-INFO
api/python/src/dlplan.egg-info/SOURCES.txt
api/python/src/dlplan.egg-info/dependency_links.txt
api/python/src/dlplan.egg-info/not-zip-safe
api/python/src/dlplan.egg-info/requires.txt
api/python/src/dlplan.egg-info/top_level.txt
api/python/src/dlplan/core/__init__.py
api/python/src/dlplan/core/__init__.pyi
api/python/src/dlplan/generator/__init__.py
api/python/src/dlplan/generator/__init__.pyi
api/python/src/dlplan/novelty/__init__.py
api/python/src/dlplan/novelty/__init__.pyi
api/python/src/dlplan/policy/__init__.py
api/python/src/dlplan/policy/__init__.pyi
api/python/src/dlplan/state_space/__init__.py
api/python/src/dlplan/state_space/__init__.pyi
api/python/tests/__init__.py
api/python/tests/core/__init__.py
api/python/tests/core/test_caching.py
api/python/tests/core/test_core.py
api/python/tests/generator/__init__.py
api/python/tests/generator/test_generate.py
api/python/tests/state_space/__init__.py
api/python/tests/state_space/gripper/__init__.py
api/python/tests/state_space/gripper/complete/__init__.py
api/python/tests/state_space/gripper/complete/domain.pddl
api/python/tests/state_space/gripper/complete/p-1-0.pddl
api/python/tests/state_space/gripper/complete/test_gripper.py
api/python/tests/state_space/gripper/incomplete/__init__.py
api/python/tests/state_space/gripper/incomplete/domain.pddl
api/python/tests/state_space/gripper/incomplete/p-1-0.pddl
api/python/tests/state_space/gripper/incomplete/test_gripper.py
api/python/tests/utils/__init__.py
api/python/tests/utils/denotation.py
cmake/configure_boost.cmake
cmake/configure_ccache.cmake
examples/CMakeLists.txt
examples/core/CMakeLists.txt
examples/core/core.cpp
examples/core/core.py
examples/generator/CMakeLists.txt
examples/generator/generator.cpp
examples/generator/generator.py
examples/novelty/CMakeLists.txt
examples/novelty/novelty.cpp
examples/novelty/novelty.py
examples/policy/CMakeLists.txt
examples/policy/policy.cpp
examples/policy/policy.py
examples/state_space/CMakeLists.txt
examples/state_space/delivery/CMakeLists.txt
examples/state_space/delivery/delivery.cpp
examples/state_space/delivery/delivery.py
examples/state_space/delivery/domain.pddl
examples/state_space/delivery/instance_2_1_0.pddl
examples/state_space/delivery/instance_2_2_0.pddl
experiments/CMakeLists.txt
experiments/experiment_generator.cpp
experiments/experiment_parser.py
experiments/experiment_runner.py
experiments/main.py
include/dlplan/core.h
include/dlplan/generator.h
include/dlplan/novelty.h
include/dlplan/policy.h
include/dlplan/state_space.h
include/dlplan/weisfeiler_lehman.h
include/dlplan/common/base.h
include/dlplan/common/parsers/config.hpp
include/dlplan/common/parsers/error_handler.hpp
include/dlplan/common/parsers/filesystem.hpp
include/dlplan/common/parsers/utility.hpp
include/dlplan/core/elements/utils.h
include/dlplan/core/elements/booleans/empty.h
include/dlplan/core/elements/booleans/inclusion.h
include/dlplan/core/elements/booleans/nullary.h
include/dlplan/core/elements/concepts/all.h
include/dlplan/core/elements/concepts/and.h
include/dlplan/core/elements/concepts/bot.h
include/dlplan/core/elements/concepts/diff.h
include/dlplan/core/elements/concepts/equal.h
include/dlplan/core/elements/concepts/not.h
include/dlplan/core/elements/concepts/one_of.h
include/dlplan/core/elements/concepts/or.h
include/dlplan/core/elements/concepts/primitive.h
include/dlplan/core/elements/concepts/projection.h
include/dlplan/core/elements/concepts/some.h
include/dlplan/core/elements/concepts/subset.h
include/dlplan/core/elements/concepts/top.h
include/dlplan/core/elements/numericals/concept_distance.h
include/dlplan/core/elements/numericals/count.h
include/dlplan/core/elements/numericals/role_distance.h
include/dlplan/core/elements/numericals/sum_concept_distance.h
include/dlplan/core/elements/numericals/sum_role_distance.h
include/dlplan/core/elements/roles/and.h
include/dlplan/core/elements/roles/compose.h
include/dlplan/core/elements/roles/diff.h
include/dlplan/core/elements/roles/identity.h
include/dlplan/core/elements/roles/inverse.h
include/dlplan/core/elements/roles/not.h
include/dlplan/core/elements/roles/or.h
include/dlplan/core/elements/roles/primitive.h
include/dlplan/core/elements/roles/restrict.h
include/dlplan/core/elements/roles/top.h
include/dlplan/core/elements/roles/transitive_closure.h
include/dlplan/core/elements/roles/transitive_reflexive_closure.h
include/dlplan/core/parsers/semantic/parser.hpp
include/dlplan/core/parsers/syntactic/ast.hpp
include/dlplan/core/parsers/syntactic/error_handler.hpp
include/dlplan/core/parsers/syntactic/parser.hpp
include/dlplan/policy/condition.h
include/dlplan/policy/effect.h
include/dlplan/policy/parsers/semantic/context.hpp
include/dlplan/policy/parsers/semantic/parser.hpp
include/dlplan/policy/parsers/syntactic/ast.hpp
include/dlplan/policy/parsers/syntactic/error_handler.hpp
include/dlplan/policy/parsers/syntactic/parser.hpp
include/dlplan/utils/cache.h
include/dlplan/utils/dynamic_bitset.h
include/dlplan/utils/factory.h
include/dlplan/utils/hash.h
include/dlplan/utils/pimpl.h
src/CMakeLists.txt
src/common/parsers/filesystem.cpp
src/common/parsers/utility.cpp
src/core/CMakeLists.txt
src/core/atom.cpp
src/core/concept_denotation.cpp
src/core/constant.cpp
src/core/core.cpp
src/core/denotations_caches.cpp
src/core/element_factory.cpp
src/core/element_factory.h
src/core/instance_info.cpp
src/core/object.cpp
src/core/predicate.cpp
src/core/role_denotation.cpp
src/core/state.cpp
src/core/vocabulary_info.cpp
src/core/elements/utils.cpp
src/core/elements/booleans/nullary.cpp
src/core/elements/concepts/all.cpp
src/core/elements/concepts/and.cpp
src/core/elements/concepts/bot.cpp
src/core/elements/concepts/diff.cpp
src/core/elements/concepts/equal.cpp
src/core/elements/concepts/not.cpp
src/core/elements/concepts/one_of.cpp
src/core/elements/concepts/or.cpp
src/core/elements/concepts/primitive.cpp
src/core/elements/concepts/projection.cpp
src/core/elements/concepts/some.cpp
src/core/elements/concepts/subset.cpp
src/core/elements/concepts/top.cpp
src/core/elements/numericals/concept_distance.cpp
src/core/elements/numericals/role_distance.cpp
src/core/elements/numericals/sum_concept_distance.cpp
src/core/elements/numericals/sum_role_distance.cpp
src/core/elements/roles/and.cpp
src/core/elements/roles/compose.cpp
src/core/elements/roles/diff.cpp
src/core/elements/roles/identity.cpp
src/core/elements/roles/inverse.cpp
src/core/elements/roles/not.cpp
src/core/elements/roles/or.cpp
src/core/elements/roles/primitive.cpp
src/core/elements/roles/restrict.cpp
src/core/elements/roles/top.cpp
src/core/elements/roles/transitive_closure.cpp
src/core/elements/roles/transitive_reflexive_closure.cpp
src/core/parsers/semantic/parser.cpp
src/core/parsers/syntactic/ast_adapted.hpp
src/core/parsers/syntactic/parser.hpp
src/core/parsers/syntactic/parser_def.hpp
src/core/parsers/syntactic/parser_instantiations.cpp
src/generator/CMakeLists.txt
src/generator/feature_generator.cpp
src/generator/feature_generator.h
src/generator/generator.cpp
src/generator/generator_data.h
src/generator/rules/rule.h
src/generator/rules/booleans/empty.cpp
src/generator/rules/booleans/empty.h
src/generator/rules/booleans/inclusion.cpp
src/generator/rules/booleans/inclusion.h
src/generator/rules/booleans/nullary.cpp
src/generator/rules/booleans/nullary.h
src/generator/rules/concepts/all.cpp
src/generator/rules/concepts/all.h
src/generator/rules/concepts/and.cpp
src/generator/rules/concepts/and.h
src/generator/rules/concepts/bot.cpp
src/generator/rules/concepts/bot.h
src/generator/rules/concepts/diff.cpp
src/generator/rules/concepts/diff.h
src/generator/rules/concepts/equal.cpp
src/generator/rules/concepts/equal.h
src/generator/rules/concepts/not.cpp
src/generator/rules/concepts/not.h
src/generator/rules/concepts/one_of.cpp
src/generator/rules/concepts/one_of.h
src/generator/rules/concepts/or.cpp
src/generator/rules/concepts/or.h
src/generator/rules/concepts/primitive.cpp
src/generator/rules/concepts/primitive.h
src/generator/rules/concepts/projection.cpp
src/generator/rules/concepts/projection.h
src/generator/rules/concepts/some.cpp
src/generator/rules/concepts/some.h
src/generator/rules/concepts/subset.cpp
src/generator/rules/concepts/subset.h
src/generator/rules/concepts/top.cpp
src/generator/rules/concepts/top.h
src/generator/rules/numericals/concept_distance.cpp
src/generator/rules/numericals/concept_distance.h
src/generator/rules/numericals/count.cpp
src/generator/rules/numericals/count.h
src/generator/rules/roles/and.cpp
src/generator/rules/roles/and.h
src/generator/rules/roles/compose.cpp
src/generator/rules/roles/compose.h
src/generator/rules/roles/diff.cpp
src/generator/rules/roles/diff.h
src/generator/rules/roles/identity.cpp
src/generator/rules/roles/identity.h
src/generator/rules/roles/inverse.cpp
src/generator/rules/roles/inverse.h
src/generator/rules/roles/not.cpp
src/generator/rules/roles/not.h
src/generator/rules/roles/or.cpp
src/generator/rules/roles/or.h
src/generator/rules/roles/primitive.cpp
src/generator/rules/roles/primitive.h
src/generator/rules/roles/restrict.cpp
src/generator/rules/roles/restrict.h
src/generator/rules/roles/top.cpp
src/generator/rules/roles/top.h
src/generator/rules/roles/transitive_closure.cpp
src/generator/rules/roles/transitive_closure.h
src/generator/rules/roles/transitive_reflexive_closure.cpp
src/generator/rules/roles/transitive_reflexive_closure.h
src/novelty/CMakeLists.txt
src/novelty/novelty.cpp
src/novelty/novelty_base.cpp
src/novelty/novelty_table.cpp
src/novelty/tuple_graph.cpp
src/novelty/tuple_graph_builder.cpp
src/novelty/tuple_graph_builder.h
src/novelty/tuple_index_generator.cpp
src/novelty/tuple_index_generator.h
src/novelty/tuple_node.cpp
src/policy/CMakeLists.txt
src/policy/condition.cpp
src/policy/effect.cpp
src/policy/policy.cpp
src/policy/policy_factory.cpp
src/policy/policy_factory.h
src/policy/policy_impl.cpp
src/policy/policy_minimizer.cpp
src/policy/rule.cpp
src/policy/parsers/semantic/context.cpp
src/policy/parsers/semantic/parser.cpp
src/policy/parsers/syntactic/ast_adapted.hpp
src/policy/parsers/syntactic/parser.hpp
src/policy/parsers/syntactic/parser_def.hpp
src/policy/parsers/syntactic/parser_instantiations.cpp
src/state_space/CMakeLists.txt
src/state_space/generator.cpp
src/state_space/generator.h
src/state_space/reader.cpp
src/state_space/reader.h
src/state_space/state_space.cpp
src/utils/MurmurHash3.cpp
src/utils/MurmurHash3.h
src/utils/collections.h
src/utils/command.h
src/utils/countdown_timer.cpp
src/utils/countdown_timer.h
src/utils/logging.cpp
src/utils/logging.h
src/utils/math.cpp
src/utils/math.h
src/utils/memory.h
src/utils/sha-256.c
src/utils/sha-256.h
src/utils/system.cpp
src/utils/system.h
src/utils/threadpool.h
src/utils/timer.cpp
src/utils/timer.h
src/utils/tokenizer.h
src/weisfeiler_lehman/CMakeLists.txt
src/weisfeiler_lehman/color.cpp
src/weisfeiler_lehman/color.h
src/weisfeiler_lehman/weisfeiler_lehman.cpp
tests/CMakeLists.txt
tests/core/CMakeLists.txt
tests/core/b_empty.cpp
tests/core/b_inclusion.cpp
tests/core/b_nullary.cpp
tests/core/c_all.cpp
tests/core/c_and.cpp
tests/core/c_bot.cpp
tests/core/c_diff.cpp
tests/core/c_equal.cpp
tests/core/c_not.cpp
tests/core/c_one_of.cpp
tests/core/c_or.cpp
tests/core/c_primitive.cpp
tests/core/c_projection.cpp
tests/core/c_some.cpp
tests/core/c_subset.cpp
tests/core/c_top.cpp
tests/core/caching.cpp
tests/core/concept_denotation.cpp
tests/core/core.cpp
tests/core/delivery.cpp
tests/core/multi_instance.cpp
tests/core/n_concept_distance.cpp
tests/core/n_count.cpp
tests/core/n_role_distance.cpp
tests/core/n_sum_concept_distance.cpp
tests/core/n_sum_role_distance.cpp
tests/core/r_and.cpp
tests/core/r_compose.cpp
tests/core/r_diff.cpp
tests/core/r_identity.cpp
tests/core/r_inverse.cpp
tests/core/r_not.cpp
tests/core/r_or.cpp
tests/core/r_primitive.cpp
tests/core/r_restrict.cpp
tests/core/r_top.cpp
tests/core/r_transitive_closure.cpp
tests/core/r_transitive_reflexive_closure.cpp
tests/core/role_denotation.cpp
tests/generator/CMakeLists.txt
tests/generator/delivery/CMakeLists.txt
tests/generator/delivery/delivery.cpp
tests/generator/delivery/domain.pddl
tests/generator/delivery/instance_2_2_0.pddl
tests/generator/delivery/instance_4_2_29.pddl
tests/novelty/CMakeLists.txt
tests/novelty/novelty_base.cpp
tests/novelty/novelty_table.cpp
tests/novelty/tuple_index_generator.cpp
tests/novelty/gripper/CMakeLists.txt
tests/novelty/gripper/domain.pddl
tests/novelty/gripper/gripper.cpp
tests/novelty/gripper/p-1-0.pddl
tests/policy/CMakeLists.txt
tests/policy/policy_factory.cpp
tests/policy/policy_minimizer.cpp
tests/state_space/CMakeLists.txt
tests/state_space/gripper/CMakeLists.txt
tests/state_space/gripper/complete/CMakeLists.txt
tests/state_space/gripper/complete/domain.pddl
tests/state_space/gripper/complete/gripper.cpp
tests/state_space/gripper/complete/p-1-0.pddl
tests/state_space/gripper/incomplete/CMakeLists.txt
tests/state_space/gripper/incomplete/domain.pddl
tests/state_space/gripper/incomplete/gripper.cpp
tests/state_space/gripper/incomplete/p-1-0.pddl
tests/state_space/spanner/CMakeLists.txt
tests/state_space/spanner/domain.pddl
tests/state_space/spanner/problem.pddl
tests/state_space/spanner/spanner.cpp
tests/utils/denotation.cpp
tests/utils/denotation.h
tests/utils/domain.cpp
tests/utils/domain.h