← Back to branch summary

~verifypn-cpn/verifypn/queryUnfold

~verifypn-cpn/verifypn/queryUnfold

« back to all changes in this revision

Viewing changes to PetriEngine/Simplification/

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

WIP making queries work

files removed:
PetriEngine/ReducingSuccessorGenerator.cpp

PetriEngine/ReducingSuccessorGenerator.h

PetriEngine/Simplification

PetriEngine/Simplification/LPCache.h

PetriEngine/Simplification/LinearProgram.h

PetriEngine/Simplification/LinearPrograms.h

PetriEngine/Simplification/Member.h

PetriEngine/Simplification/MurmurHash2.h

PetriEngine/Simplification/Retval.h

PetriEngine/Simplification/Vector.h

PetriEngine/Structures

PetriEngine/Structures/State.h

PetriEngine/Structures/light_deque.h

PetriEngine/SuccessorGenerator.h

files modified:
CMakeLists.txt

PetriEngine/PQL/Contexts.h

PetriEngine/PQL/Expressions.cpp

PetriEngine/PQL/Expressions.h

Show diffs side-by-side

added added

removed removed

PetriEngine/Simplification/

Older »