← Back to branch summary

~verifypn-cpn/verifypn/queryUnfold

« back to all changes in this revision

Viewing changes to CMakeLists.txt

  • Committer: Niels Christensen
  • Date: 2019-04-30 12:58:19 UTC
  • Revision ID: nchri13@student.aau.dk-20190430125819-8ag624162pyjnhq8
WIP making queries work

Show diffs side-by-side

added added

removed removed

Lines of Context:
CMakeLists.txt
33
33
        PetriEngine/PQL/PQLQueryParser.parser.cpp
34
34
        PetriEngine/PQL/PQLQueryParser.parser.hpp
35
35
        PetriEngine/PQL/PQLQueryTokens.lexer.cpp
36
 
        PetriEngine/Simplification/LinearProgram.h
37
 
        PetriEngine/Simplification/LinearPrograms.h
38
 
        PetriEngine/Simplification/LPCache.h
39
 
        PetriEngine/Simplification/Member.h
40
 
        PetriEngine/Simplification/MurmurHash2.h
41
 
        PetriEngine/Simplification/Retval.h
42
 
        PetriEngine/Simplification/Vector.h
43
 
        PetriEngine/Structures/light_deque.h
44
 
        PetriEngine/Structures/State.h
45
36
        PetriEngine/AbstractPetriNetBuilder.h
46
37
        PetriEngine/errorcodes.h
47
38
        PetriEngine/NetStructures.h
50
41
        PetriEngine/PetriNet.h
51
42
        PetriEngine/PetriNetBuilder.cpp
52
43
        PetriEngine/PetriNetBuilder.h
53
 
        PetriEngine/ReducingSuccessorGenerator.cpp
54
 
        PetriEngine/ReducingSuccessorGenerator.h
55
 
        PetriEngine/SuccessorGenerator.h
56
44
        PetriParse/rapidxml/rapidxml.hpp
57
45
        PetriParse/rapidxml/rapidxml_iterators.hpp
58
46
        PetriParse/rapidxml/rapidxml_print.hpp