CMakeLists.txt
LICENSE.md
MANIFEST.in
README.md
pyproject.toml
requirements.txt
setup.py
tox.ini
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/weisfeiler_lehman.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/test/__init__.py
api/python/test/test_barman.py
api/python/test/test_core.py
api/python/test/test_generate.py
examples/CMakeLists.txt
examples/core/CMakeLists.txt
examples/core/core.cpp
examples/core/core.py
examples/core/__pycache__/tarski.cpython-36.pyc
examples/core/__pycache__/tarski.cpython-37.pyc
examples/generator/CMakeLists.txt
examples/generator/generator.cpp
examples/generator/generator.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/phmap/btree.h
include/dlplan/phmap/meminfo.h
include/dlplan/phmap/phmap.h
include/dlplan/phmap/phmap_base.h
include/dlplan/phmap/phmap_bits.h
include/dlplan/phmap/phmap_config.h
include/dlplan/phmap/phmap_dump.h
include/dlplan/phmap/phmap_fwd_decl.h
include/dlplan/phmap/phmap_utils.h
include/dlplan/utils/cache.h
include/dlplan/utils/dynamic_bitset.h
include/dlplan/utils/hashing.h
include/dlplan/utils/pimpl.h
src/CMakeLists.txt
src/core/CMakeLists.txt
src/core/atom.cpp
src/core/cache.h
src/core/constant.cpp
src/core/core.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/state.cpp
src/core/vocabulary_info.cpp
src/core/elements/boolean.h
src/core/elements/concept.h
src/core/elements/element.h
src/core/elements/numerical.h
src/core/elements/role.h
src/core/elements/types.h
src/core/elements/utils.cpp
src/core/elements/utils.h
src/core/elements/booleans/empty.h
src/core/elements/booleans/inclusion.h
src/core/elements/booleans/nullary.h
src/core/elements/concepts/all.h
src/core/elements/concepts/and.h
src/core/elements/concepts/bot.h
src/core/elements/concepts/diff.h
src/core/elements/concepts/equal.h
src/core/elements/concepts/not.h
src/core/elements/concepts/one_of.h
src/core/elements/concepts/or.h
src/core/elements/concepts/primitive.h
src/core/elements/concepts/projection.h
src/core/elements/concepts/some.h
src/core/elements/concepts/subset.h
src/core/elements/concepts/top.h
src/core/elements/numericals/concept_distance.h
src/core/elements/numericals/count.h
src/core/elements/numericals/role_distance.h
src/core/elements/numericals/sum_concept_distance.h
src/core/elements/numericals/sum_role_distance.h
src/core/elements/roles/and.h
src/core/elements/roles/compose.h
src/core/elements/roles/diff.h
src/core/elements/roles/identity.h
src/core/elements/roles/inverse.h
src/core/elements/roles/not.h
src/core/elements/roles/or.h
src/core/elements/roles/primitive.h
src/core/elements/roles/restrict.h
src/core/elements/roles/top.h
src/core/elements/roles/transitive_closure.h
src/core/elements/roles/transitive_reflexive_closure.h
src/core/parser/expression_factory.cpp
src/core/parser/expression_factory.h
src/core/parser/parser.cpp
src/core/parser/parser.h
src/core/parser/types.h
src/core/parser/utils.h
src/core/parser/expressions/boolean.h
src/core/parser/expressions/concept.h
src/core/parser/expressions/expression.h
src/core/parser/expressions/numerical.h
src/core/parser/expressions/role.h
src/core/parser/expressions/booleans/empty.h
src/core/parser/expressions/booleans/inclusion.h
src/core/parser/expressions/booleans/nullary.h
src/core/parser/expressions/concepts/all.h
src/core/parser/expressions/concepts/and.h
src/core/parser/expressions/concepts/bot.h
src/core/parser/expressions/concepts/diff.h
src/core/parser/expressions/concepts/equal.h
src/core/parser/expressions/concepts/not.h
src/core/parser/expressions/concepts/one_of.h
src/core/parser/expressions/concepts/or.h
src/core/parser/expressions/concepts/primitive.h
src/core/parser/expressions/concepts/projection.h
src/core/parser/expressions/concepts/some.h
src/core/parser/expressions/concepts/subset.h
src/core/parser/expressions/concepts/top.h
src/core/parser/expressions/numericals/concept_distance.h
src/core/parser/expressions/numericals/count.h
src/core/parser/expressions/numericals/role_distance.h
src/core/parser/expressions/numericals/sum_concept_distance.h
src/core/parser/expressions/numericals/sum_role_distance.h
src/core/parser/expressions/roles/and.h
src/core/parser/expressions/roles/compose.h
src/core/parser/expressions/roles/diff.h
src/core/parser/expressions/roles/identity.h
src/core/parser/expressions/roles/inverse.h
src/core/parser/expressions/roles/not.h
src/core/parser/expressions/roles/or.h
src/core/parser/expressions/roles/primitive.h
src/core/parser/expressions/roles/restrict.h
src/core/parser/expressions/roles/top.h
src/core/parser/expressions/roles/transitive_closure.h
src/core/parser/expressions/roles/transitive_reflexive_closure.h
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_index_generator.cpp
src/novelty/tuple_node.cpp
src/policy/CMakeLists.txt
src/policy/cache.h
src/policy/condition.cpp
src/policy/condition.h
src/policy/effect.cpp
src/policy/effect.h
src/policy/policy.cpp
src/policy/policy_builder.cpp
src/policy/policy_builder.h
src/policy/policy_impl.cpp
src/policy/policy_minimizer.cpp
src/policy/reader.cpp
src/policy/reader.h
src/policy/rule.cpp
src/policy/writer.cpp
src/policy/writer.h
src/policy/parser/expression_factory.cpp
src/policy/parser/expression_factory.h
src/policy/parser/expressions.h
src/policy/parser/parser.cpp
src/policy/parser/parser.h
src/policy/parser/types.h
src/policy/parser/utils.cpp
src/policy/parser/utils.h
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/set_operators.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/core.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/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/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_builder.cpp
tests/policy/policy_minimizer.cpp
tests/policy/utils.cpp
tests/policy/utils.h
tests/state_space/CMakeLists.txt
tests/state_space/gripper/CMakeLists.txt
tests/state_space/gripper/domain.pddl
tests/state_space/gripper/gripper.cpp
tests/state_space/gripper/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