1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
cmake_minimum_required(VERSION 3.13)
project(queryUnfold)
set(CMAKE_CXX_STANDARD 14)
include_directories(PetriEngine)
include_directories(PetriEngine/Colored)
include_directories(PetriEngine/PQL)
include_directories(PetriEngine/Simplification)
include_directories(PetriEngine/Structures)
include_directories(PetriParse)
include_directories(PetriParse/rapidxml)
add_executable(queryUnfold
PetriEngine/Colored/ColoredNetStructures.h
PetriEngine/Colored/ColoredPetriNetBuilder.cpp
PetriEngine/Colored/ColoredPetriNetBuilder.h
PetriEngine/Colored/Colors.cpp
PetriEngine/Colored/Colors.h
PetriEngine/Colored/Expressions.h
PetriEngine/Colored/Multiset.cpp
PetriEngine/Colored/Multiset.h
PetriEngine/Colored/TimeInterval.cpp
PetriEngine/Colored/TimeInterval.h
PetriEngine/Colored/TimeInvariant.cpp
PetriEngine/Colored/TimeInvariant.h
PetriEngine/PQL/Contexts.h
PetriEngine/PQL/Expressions.cpp
PetriEngine/PQL/Expressions.h
PetriEngine/PQL/PQL.cpp
PetriEngine/PQL/PQL.h
PetriEngine/PQL/PQLParser.h
PetriEngine/PQL/PQLQueryParser.parser.cpp
PetriEngine/PQL/PQLQueryParser.parser.hpp
PetriEngine/PQL/PQLQueryTokens.lexer.cpp
PetriEngine/AbstractPetriNetBuilder.h
PetriEngine/errorcodes.h
PetriEngine/NetStructures.h
PetriEngine/options.h
PetriEngine/PetriNet.cpp
PetriEngine/PetriNet.h
PetriEngine/PetriNetBuilder.cpp
PetriEngine/PetriNetBuilder.h
PetriParse/rapidxml/rapidxml.hpp
PetriParse/rapidxml/rapidxml_iterators.hpp
PetriParse/rapidxml/rapidxml_print.hpp
PetriParse/rapidxml/rapidxml_utils.hpp
PetriParse/PNMLParser.cpp
PetriParse/PNMLParser.h
PetriParse/QueryBinaryParser.cpp
PetriParse/QueryBinaryParser.h
PetriParse/QueryParser.h
PetriParse/QueryXMLParser.cpp
PetriParse/QueryXMLParser.h
VerifyPN.cpp)
|