example: add p03_api_example_dfa_creation_and_manipulation

whitemech · Oct 20, 2024 · 3897f49 · 3897f49
1 parent 4b34f6c
commit 3897f49
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/docs/api/p03_api_example_dfa_creation_and_manipulation.md b/docs/api/p03_api_example_dfa_creation_and_manipulation.md
@@ -0,0 +1 @@
+# DFA Creation and Manipulation {#p03_api_example_dfa_creation_and_manipulation}
diff --git a/docs/p00_api.md b/docs/p00_api.md
@@ -4,3 +4,4 @@ In this part of the documentation, we show examples of how to use the C++ API of
 
 - @subpage p01_api_example_quickstart
 - @subpage p02_api_example_dfa_representation
+- @subpage p03_api_example_dfa_creation_and_manipulation
diff --git a/examples/03_dfa_creation_and_manipulation/CMakeLists.txt b/examples/03_dfa_creation_and_manipulation/CMakeLists.txt
@@ -0,0 +1,4 @@
+add_executable(dfa_creation_and_manipulation_example dfa_creation_and_manipulation.cpp)
+
+target_include_directories(dfa_creation_and_manipulation_example PRIVATE  ${UTILS_INCLUDE_PATH} ${PARSER_INCLUDE_PATH} ${SYNTHESIS_INCLUDE_PATH} ${EXT_INCLUDE_PATH})
+target_link_libraries(dfa_creation_and_manipulation_example ${PARSER_LIB_NAME} ${SYNTHESIS_LIB_NAME} ${UTILS_LIB_NAME} ${LYDIA_LIBRARIES})
diff --git a/examples/03_dfa_creation_and_manipulation/dfa_creation_and_manipulation.cpp b/examples/03_dfa_creation_and_manipulation/dfa_creation_and_manipulation.cpp
@@ -0,0 +1,2 @@
+int main(int argc, char ** argv) {
+}