From ac620a8838030adaace73ccce493520e7800ee3d Mon Sep 17 00:00:00 2001 From: Samuel Stante Date: Tue, 16 Jul 2024 13:01:51 +0200 Subject: [PATCH 1/2] fix wrong name in python dlplan core api --- api/python/src/dlplan/core/__init__.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/api/python/src/dlplan/core/__init__.pyi b/api/python/src/dlplan/core/__init__.pyi index ca423e17..a346f51b 100644 --- a/api/python/src/dlplan/core/__init__.pyi +++ b/api/python/src/dlplan/core/__init__.pyi @@ -222,7 +222,7 @@ class SyntacticElementFactory: def make_sum_concept_distance_numerical(self, concept_from: Concept, role: Role, concept_to: Concept) -> Numerical: ... def make_sum_role_distance_numerical(self, role_from: Role, role: Role, role_to: Role) -> Numerical: ... - def make_and_concept(self, role_left: Role, role_right: Role) -> Role: ... + def make_and_role(self, role_left: Role, role_right: Role) -> Role: ... def make_compose_role(self, role_left: Role, role_right: Role) -> Role: ... def make_diff_role(self, role_left: Role, role_right: Role) -> Role: ... def make_identity_role(self, concept: Concept) -> Role: ... From efd481f64f608826ef5319614686f5a5901de4b3 Mon Sep 17 00:00:00 2001 From: Samuel Stante Date: Fri, 19 Jul 2024 18:00:07 +0200 Subject: [PATCH 2/2] change readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 37096541..30d08677 100644 --- a/README.md +++ b/README.md @@ -87,7 +87,7 @@ find_package(dlplan 0.1 REQUIRED COMPONENTS core generator policy statespace nov ### 3.3. Additional Compile Flags -- -DBUILD_TESTS:BOOL=TRUE enables compilation of tests +- `-DBUILD_TESTS:BOOL=TRUE` enables compilation of tests ### 3.4. Building the Python Interface @@ -116,7 +116,7 @@ python3 examples/generator/generator.py You can run the C++ tests with: ```console -cd build && ctest +cd build/tests && ctest ``` The Python bindings also come with their own set of tests. Run them with