chore: minor changes

- add CMake target 'examples'
- update example name: '_constraints_' -> '_conditions_'

.github/workflows/cmake.yml

@@ -103,6 +103,6 @@ jobs:
           ${{github.workspace}}/build//bin/dfa_creation_and_manipulation_example
           ${{github.workspace}}/build//bin/ltlf_synthesis_example
           ${{github.workspace}}/build//bin/ltlf_synthesis_maximally_permissive_example
-          ${{github.workspace}}/build//bin/ltlf_synthesis_with_fairness_constraints_example
-          ${{github.workspace}}/build//bin/ltlf_synthesis_with_stability_constraints_example
+          ${{github.workspace}}/build//bin/ltlf_synthesis_with_fairness_conditions_example
+          ${{github.workspace}}/build//bin/ltlf_synthesis_with_stability_conditions_example
           ${{github.workspace}}/build//bin/ltlf_synthesis_with_gr1_env_spec_example

README.md

@@ -308,7 +308,7 @@ int main(int argc, char ** argv) {
 ```
 
 More code examples can be found in the `examples/` folder.
-
+To build them, run `make examples`.
 
 ## Documentation
 

docs/api/p06_07_08_api_example_ltlf_synthesis_with_environment_conditions.md

@@ -5,7 +5,7 @@ In this example, we will show how to use the LydiaSyft C++ APIs to solve LTLf sy
 ## Fairness Assumptions
 
 The code for this example can be found in `examples/06_ltlf_synthesis_with_fairness_conditions/ltlf_synthesis_with_fairness_constraints.cpp`.
-To build this example, you can run `make ltlf_synthesis_with_fairness_constraints_example`.
+To build this example, you can run `make ltlf_synthesis_with_fairness_conditions_example`.
 
 Follows the full code of the example:
 ```cpp
@@ -71,7 +71,7 @@ The declaration of the class `Syft::FairnessLtlfSynthesizer` can be found in the
 ## Stability Assumptions
 
 The code for this example can be found in `examples/07_ltlf_synthesis_with_stability_conditions/ltlf_synthesis_with_stability_conditions.cpp`.
-To build this example, you can run `make ltlf_synthesis_with_stability_constraints_example`.
+To build this example, you can run `make ltlf_synthesis_with_stability_conditions_example`.
 
 Follows the full code of the example:
 

examples/06_ltlf_synthesis_with_fairness_conditions/CMakeLists.txt

@@ -1,4 +1,4 @@
-add_executable(ltlf_synthesis_with_fairness_constraints_example ltlf_synthesis_with_fairness_constraints.cpp)
+add_executable(ltlf_synthesis_with_fairness_conditions_example ltlf_synthesis_with_fairness_constraints.cpp)
 
-target_include_directories(ltlf_synthesis_with_fairness_constraints_example PRIVATE  ${UTILS_INCLUDE_PATH} ${PARSER_INCLUDE_PATH} ${SYNTHESIS_INCLUDE_PATH} ${EXT_INCLUDE_PATH})
-target_link_libraries(ltlf_synthesis_with_fairness_constraints_example ${PARSER_LIB_NAME} ${SYNTHESIS_LIB_NAME} ${UTILS_LIB_NAME} ${LYDIA_LIBRARIES})
+target_include_directories(ltlf_synthesis_with_fairness_conditions_example PRIVATE  ${UTILS_INCLUDE_PATH} ${PARSER_INCLUDE_PATH} ${SYNTHESIS_INCLUDE_PATH} ${EXT_INCLUDE_PATH})
+target_link_libraries(ltlf_synthesis_with_fairness_conditions_example ${PARSER_LIB_NAME} ${SYNTHESIS_LIB_NAME} ${UTILS_LIB_NAME} ${LYDIA_LIBRARIES})

examples/07_ltlf_synthesis_with_stability_conditions/CMakeLists.txt

@@ -1,4 +1,4 @@
-add_executable(ltlf_synthesis_with_stability_constraints_example ltlf_synthesis_with_stability_conditions.cpp)
+add_executable(ltlf_synthesis_with_stability_conditions_example ltlf_synthesis_with_stability_conditions.cpp)
 
-target_include_directories(ltlf_synthesis_with_stability_constraints_example PRIVATE  ${UTILS_INCLUDE_PATH} ${PARSER_INCLUDE_PATH} ${SYNTHESIS_INCLUDE_PATH} ${EXT_INCLUDE_PATH})
-target_link_libraries(ltlf_synthesis_with_stability_constraints_example ${PARSER_LIB_NAME} ${SYNTHESIS_LIB_NAME} ${UTILS_LIB_NAME} ${LYDIA_LIBRARIES})
+target_include_directories(ltlf_synthesis_with_stability_conditions_example PRIVATE  ${UTILS_INCLUDE_PATH} ${PARSER_INCLUDE_PATH} ${SYNTHESIS_INCLUDE_PATH} ${EXT_INCLUDE_PATH})
+target_link_libraries(ltlf_synthesis_with_stability_conditions_example ${PARSER_LIB_NAME} ${SYNTHESIS_LIB_NAME} ${UTILS_LIB_NAME} ${LYDIA_LIBRARIES})

examples/CMakeLists.txt

@@ -7,3 +7,16 @@ add_subdirectory(05_ltlf_synthesis_maximally_permissive)
 add_subdirectory(06_ltlf_synthesis_with_fairness_conditions)
 add_subdirectory(07_ltlf_synthesis_with_stability_conditions)
 add_subdirectory(08_ltlf_synthesis_with_gr1_env_spec)
+
+add_custom_target(examples)
+
+add_dependencies(examples
+    quickstart_example
+    dfa_representation_example
+    dfa_creation_and_manipulation_example
+    ltlf_synthesis_example
+    ltlf_synthesis_maximally_permissive_example
+    ltlf_synthesis_with_fairness_conditions_example
+    ltlf_synthesis_with_stability_conditions_example
+    ltlf_synthesis_with_gr1_env_spec_example
+)