1
set(CMAKE_INCLUDE_CURRENT_DIR ON)
3
add_subdirectory(Colored)
4
add_subdirectory(Structures)
5
add_subdirectory(Simplification)
6
add_subdirectory(Reachability)
10
add_library(PetriEngine ${HEADER_FILES}
14
ReducingSuccessorGenerator.cpp
16
SuccessorGenerator.cpp
19
target_link_libraries(PetriEngine PRIVATE Colored Structures Simplification Reachability PQL TAR)