← Back to branch summary

~gblegmand/verifydtapn/DistanceMeasure

~gblegmand/verifydtapn/DistanceMeasure

Viewing all changes in revision 1.

Committer: Gideon Blegmand
Date: 2018-12-09 18:27:47 UTC
Revision ID: gblegm13@student.aau.dk-20181209182747-qtncxqww4dp6vqtj

Added project files

files added:

.bzrignore

CMakeLists.txt

README.md

boost-software-license.txt

cmake-build-debug

cmake-build-debug/CMakeCache.txt

cmake-build-debug/CMakeFiles

cmake-build-debug/CMakeFiles/3.8.2

cmake-build-debug/CMakeFiles/3.8.2/CMakeCCompiler.cmake

cmake-build-debug/CMakeFiles/3.8.2/CMakeCXXCompiler.cmake

cmake-build-debug/CMakeFiles/3.8.2/CMakeDetermineCompilerABI_C.bin

cmake-build-debug/CMakeFiles/3.8.2/CMakeDetermineCompilerABI_CXX.bin

cmake-build-debug/CMakeFiles/3.8.2/CMakeSystem.cmake

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/CMakeCCompilerId.c

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/a.out

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/tmp

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/CMakeCXXCompilerId.cpp

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/a.out

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/tmp

cmake-build-debug/CMakeFiles/CMakeDirectoryInformation.cmake

cmake-build-debug/CMakeFiles/CMakeOutput.log

cmake-build-debug/CMakeFiles/CMakeTmp

cmake-build-debug/CMakeFiles/Makefile.cmake

cmake-build-debug/CMakeFiles/Makefile2

cmake-build-debug/CMakeFiles/TargetDirectories.txt

cmake-build-debug/CMakeFiles/clion-environment.txt

cmake-build-debug/CMakeFiles/clion-log.txt

cmake-build-debug/CMakeFiles/cmake.check_cache

cmake-build-debug/CMakeFiles/feature_tests.bin

cmake-build-debug/CMakeFiles/feature_tests.c

cmake-build-debug/CMakeFiles/feature_tests.cxx

cmake-build-debug/CMakeFiles/progress.marks

cmake-build-debug/CMakeFiles/sw9_kode.dir

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles/3.8.2

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles/3.8.2/CompilerIdCXX

cmake-build-debug/CMakeFiles/sw9_kode.dir/CXX.includecache

cmake-build-debug/CMakeFiles/sw9_kode.dir/DependInfo.cmake

cmake-build-debug/CMakeFiles/sw9_kode.dir/build.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/cmake_clean.cmake

cmake-build-debug/CMakeFiles/sw9_kode.dir/depend.internal

cmake-build-debug/CMakeFiles/sw9_kode.dir/depend.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/flags.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/link.txt

cmake-build-debug/CMakeFiles/sw9_kode.dir/progress.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/src

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/QueryParser

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/QueryParser/Generated

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/TAPN

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/TAPNParser

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/DataStructures

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/SearchStrategies

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/Util

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/VerificationTypes

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Distance

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Distance/TimedEventTraces

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TET

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TETParser

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TimedEventTrace

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TimedEventTraces

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/Traces

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasuring

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasuring/Traces

cmake-build-debug/CMakeFiles/verifypn.dir

cmake-build-debug/CMakeFiles/verifypn.dir/DependInfo.cmake

cmake-build-debug/CMakeFiles/verifypn.dir/build.make

cmake-build-debug/CMakeFiles/verifypn.dir/cmake_clean.cmake

cmake-build-debug/CMakeFiles/verifypn.dir/depend.make

cmake-build-debug/CMakeFiles/verifypn.dir/flags.make

cmake-build-debug/CMakeFiles/verifypn.dir/link.txt

cmake-build-debug/CMakeFiles/verifypn.dir/progress.make

cmake-build-debug/CMakeFiles/verifypn.dir/src

cmake-build-debug/CMakeFiles/verifypn.dir/src/Core

cmake-build-debug/CMakeFiles/verifypn.dir/src/DiscreteVerification

cmake-build-debug/CMakeFiles/verifypn.dir/src/DistanceMeasure

cmake-build-debug/Makefile

cmake-build-debug/cmake_install.cmake

cmake-build-debug/sw9_kode

cmake-build-debug/sw9_kode.cbp

cmake-build-debug/verifypn.cbp

cross-compilation

cross-compilation/README.txt

cross-compilation/endian.h

cross-compilation/libwinpthread-1.dll

lib

lib/rapidxml-1.13

lib/rapidxml-1.13/license.txt

lib/rapidxml-1.13/manual.html

lib/rapidxml-1.13/rapidxml.hpp

lib/rapidxml-1.13/rapidxml_iterators.hpp

lib/rapidxml-1.13/rapidxml_print.hpp

lib/rapidxml-1.13/rapidxml_utils.hpp

makefile.linux32

makefile.linux64

makefile.osx32

makefile.osx64

makefile.win32

makefile.win64

rules.mk

src

src/Core

src/Core/ArgsParser.cpp

src/Core/ArgsParser.hpp

src/Core/QueryParser

src/Core/QueryParser/AST.cpp

src/Core/QueryParser/AST.hpp

src/Core/QueryParser/Generated

src/Core/QueryParser/Generated/lexer.cpp

src/Core/QueryParser/Generated/location.hh

src/Core/QueryParser/Generated/parser.cpp

src/Core/QueryParser/Generated/parser.hpp

src/Core/QueryParser/Generated/position.hh

src/Core/QueryParser/Generated/stack.hh

src/Core/QueryParser/NormalizationVisitor.cpp

src/Core/QueryParser/NormalizationVisitor.hpp

src/Core/QueryParser/TAPNQueryParser.cpp

src/Core/QueryParser/TAPNQueryParser.hpp

src/Core/QueryParser/Visitor.hpp

src/Core/QueryParser/flex.ll

src/Core/QueryParser/grammar.yy

src/Core/TAPN

src/Core/TAPN/InhibitorArc.cpp

src/Core/TAPN/InhibitorArc.hpp

src/Core/TAPN/OutputArc.cpp

src/Core/TAPN/OutputArc.hpp

src/Core/TAPN/TAPN.hpp

src/Core/TAPN/TimeInterval.cpp

src/Core/TAPN/TimeInterval.hpp

src/Core/TAPN/TimeInvariant.cpp

src/Core/TAPN/TimeInvariant.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedInputArc.cpp

src/Core/TAPN/TimedInputArc.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPN/TimedTransition.hpp

src/Core/TAPN/TransportArc.cpp

src/Core/TAPN/TransportArc.hpp

src/Core/TAPNParser

src/Core/TAPNParser/TAPNXmlParser.cpp

src/Core/TAPNParser/TAPNXmlParser.hpp

src/Core/TAPNParser/util.cpp

src/Core/TAPNParser/util.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/DiscreteVerification

src/DiscreteVerification/DataStructures

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/MarkingStore.h

src/DiscreteVerification/DataStructures/MetaData.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.hpp

src/DiscreteVerification/DataStructures/PTrieMarkingStore.h

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/SimpleMarkingStore.h

src/DiscreteVerification/DataStructures/TimeDart.hpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp

src/DiscreteVerification/DataStructures/TimeDartPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartPWList.hpp

src/DiscreteVerification/DataStructures/Waiting.h

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/binarywrapper.h

src/DiscreteVerification/DataStructures/light_deque.h

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DataStructures/visitor.h

src/DiscreteVerification/DeadlockVisitor.cpp

src/DiscreteVerification/DeadlockVisitor.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.hpp

src/DiscreteVerification/Generator.cpp

src/DiscreteVerification/Generator.h

src/DiscreteVerification/PlaceVisitor.cpp

src/DiscreteVerification/PlaceVisitor.hpp

src/DiscreteVerification/QueryVisitor.hpp

src/DiscreteVerification/ReducingGenerator.cpp

src/DiscreteVerification/ReducingGenerator.hpp

src/DiscreteVerification/SearchStrategies

src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.cpp

src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.hpp

src/DiscreteVerification/SearchStrategies/NonStrictBFS.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFS.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFSHeuristic.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFSRandom.hpp

src/DiscreteVerification/SearchStrategies/NonStrictHeuristic.hpp

src/DiscreteVerification/SearchStrategies/NonStrictRandom.hpp

src/DiscreteVerification/SearchStrategies/SearchFactory.h

src/DiscreteVerification/SearchStrategies/SearchStrategies.hpp

src/DiscreteVerification/SearchStrategies/SearchStrategy.hpp

src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp

src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.hpp

src/DiscreteVerification/SearchStrategies/WorkflowMinFirst.hpp

src/DiscreteVerification/TimeDartSuccessorGenerator.cpp

src/DiscreteVerification/TimeDartSuccessorGenerator.hpp

src/DiscreteVerification/Util

src/DiscreteVerification/Util/IntervalOps.cpp

src/DiscreteVerification/Util/IntervalOps.hpp

src/DiscreteVerification/VerificationTypes

src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.h

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

src/DistanceMeasure

src/DistanceMeasure/Data

src/DistanceMeasure/Data/tawfn.q

src/DistanceMeasure/Data/tawfn.xml

src/DistanceMeasure/Data/tawfn_export.xml

src/DistanceMeasure/Data/tel.xml

src/DistanceMeasure/Data/universal.q

src/DistanceMeasure/Distance.cpp

src/DistanceMeasure/Distance.hpp

src/DistanceMeasure/TET

src/DistanceMeasure/TET/TimedEventTrace.cpp

src/DistanceMeasure/TET/TimedEventTrace.hpp

src/DistanceMeasure/TETParser

src/DistanceMeasure/TETParser/TETXmlParser.cpp

src/DistanceMeasure/TETParser/TETXmlParser.hpp

src/DistanceMeasure/dm_README.txt

src/compile-linux-32-64.sh

src/compile-mac-32-64.sh

src/compile-win-32.sh

src/main.cpp

Show diffs side-by-side

added added

removed removed

boost-software-license.txt

cmake-build-debug/

cmake-build-debug/CMakeCache.txt

cmake-build-debug/CMakeFiles/

cmake-build-debug/CMakeFiles/3.8.2/

cmake-build-debug/CMakeFiles/3.8.2/CMakeCCompiler.cmake

cmake-build-debug/CMakeFiles/3.8.2/CMakeCXXCompiler.cmake

cmake-build-debug/CMakeFiles/3.8.2/CMakeDetermineCompilerABI_C.bin

cmake-build-debug/CMakeFiles/3.8.2/CMakeDetermineCompilerABI_CXX.bin

cmake-build-debug/CMakeFiles/3.8.2/CMakeSystem.cmake

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/CMakeCCompilerId.c

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/a.out

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdC/tmp/

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/CMakeCXXCompilerId.cpp

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/a.out

cmake-build-debug/CMakeFiles/3.8.2/CompilerIdCXX/tmp/

cmake-build-debug/CMakeFiles/CMakeDirectoryInformation.cmake

cmake-build-debug/CMakeFiles/CMakeOutput.log

cmake-build-debug/CMakeFiles/CMakeTmp/

cmake-build-debug/CMakeFiles/Makefile.cmake

cmake-build-debug/CMakeFiles/Makefile2

cmake-build-debug/CMakeFiles/TargetDirectories.txt

cmake-build-debug/CMakeFiles/clion-environment.txt

cmake-build-debug/CMakeFiles/clion-log.txt

cmake-build-debug/CMakeFiles/cmake.check_cache

cmake-build-debug/CMakeFiles/feature_tests.bin

cmake-build-debug/CMakeFiles/feature_tests.c

cmake-build-debug/CMakeFiles/feature_tests.cxx

cmake-build-debug/CMakeFiles/progress.marks

cmake-build-debug/CMakeFiles/sw9_kode.dir/

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles/

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles/3.8.2/

cmake-build-debug/CMakeFiles/sw9_kode.dir/CMakeFiles/3.8.2/CompilerIdCXX/

cmake-build-debug/CMakeFiles/sw9_kode.dir/CXX.includecache

cmake-build-debug/CMakeFiles/sw9_kode.dir/DependInfo.cmake

cmake-build-debug/CMakeFiles/sw9_kode.dir/build.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/cmake_clean.cmake

cmake-build-debug/CMakeFiles/sw9_kode.dir/depend.internal

cmake-build-debug/CMakeFiles/sw9_kode.dir/depend.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/flags.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/link.txt

cmake-build-debug/CMakeFiles/sw9_kode.dir/progress.make

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/QueryParser/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/QueryParser/Generated/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/TAPN/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Core/TAPNParser/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/DataStructures/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/SearchStrategies/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/Util/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DiscreteVerification/VerificationTypes/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Distance/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/Distance/TimedEventTraces/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TET/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TETParser/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TimedEventTrace/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/TimedEventTraces/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasure/Traces/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasuring/

cmake-build-debug/CMakeFiles/sw9_kode.dir/src/DistanceMeasuring/Traces/

cmake-build-debug/CMakeFiles/verifypn.dir/

cmake-build-debug/CMakeFiles/verifypn.dir/DependInfo.cmake

cmake-build-debug/CMakeFiles/verifypn.dir/build.make

cmake-build-debug/CMakeFiles/verifypn.dir/cmake_clean.cmake

cmake-build-debug/CMakeFiles/verifypn.dir/depend.make

cmake-build-debug/CMakeFiles/verifypn.dir/flags.make

cmake-build-debug/CMakeFiles/verifypn.dir/link.txt

cmake-build-debug/CMakeFiles/verifypn.dir/progress.make

cmake-build-debug/CMakeFiles/verifypn.dir/src/

cmake-build-debug/CMakeFiles/verifypn.dir/src/Core/

cmake-build-debug/CMakeFiles/verifypn.dir/src/DiscreteVerification/

cmake-build-debug/CMakeFiles/verifypn.dir/src/DistanceMeasure/

cmake-build-debug/Makefile

cmake-build-debug/cmake_install.cmake

cmake-build-debug/sw9_kode

cmake-build-debug/sw9_kode.cbp

cmake-build-debug/verifypn.cbp

cross-compilation/

cross-compilation/README.txt

cross-compilation/endian.h

cross-compilation/libwinpthread-1.dll

lib/rapidxml-1.13/

lib/rapidxml-1.13/license.txt

lib/rapidxml-1.13/manual.html

lib/rapidxml-1.13/rapidxml.hpp

lib/rapidxml-1.13/rapidxml_iterators.hpp

lib/rapidxml-1.13/rapidxml_print.hpp

lib/rapidxml-1.13/rapidxml_utils.hpp

makefile.linux32

makefile.linux64

src/Core/ArgsParser.cpp

src/Core/ArgsParser.hpp

src/Core/QueryParser/

src/Core/QueryParser/AST.cpp

src/Core/QueryParser/AST.hpp

src/Core/QueryParser/Generated/

src/Core/QueryParser/Generated/lexer.cpp

src/Core/QueryParser/Generated/location.hh

src/Core/QueryParser/Generated/parser.cpp

src/Core/QueryParser/Generated/parser.hpp

src/Core/QueryParser/Generated/position.hh

src/Core/QueryParser/Generated/stack.hh

src/Core/QueryParser/NormalizationVisitor.cpp

src/Core/QueryParser/NormalizationVisitor.hpp

src/Core/QueryParser/TAPNQueryParser.cpp

src/Core/QueryParser/TAPNQueryParser.hpp

src/Core/QueryParser/Visitor.hpp

src/Core/QueryParser/flex.ll

src/Core/QueryParser/grammar.yy

src/Core/TAPN/InhibitorArc.cpp

src/Core/TAPN/InhibitorArc.hpp

src/Core/TAPN/OutputArc.cpp

src/Core/TAPN/OutputArc.hpp

src/Core/TAPN/TAPN.hpp

src/Core/TAPN/TimeInterval.cpp

src/Core/TAPN/TimeInterval.hpp

src/Core/TAPN/TimeInvariant.cpp

src/Core/TAPN/TimeInvariant.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedInputArc.cpp

src/Core/TAPN/TimedInputArc.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPN/TimedTransition.hpp

src/Core/TAPN/TransportArc.cpp

src/Core/TAPN/TransportArc.hpp

src/Core/TAPNParser/

src/Core/TAPNParser/TAPNXmlParser.cpp

src/Core/TAPNParser/TAPNXmlParser.hpp

src/Core/TAPNParser/util.cpp

src/Core/TAPNParser/util.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/DiscreteVerification/

src/DiscreteVerification/DataStructures/

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/MarkingStore.h

src/DiscreteVerification/DataStructures/MetaData.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.hpp

src/DiscreteVerification/DataStructures/PTrieMarkingStore.h

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/SimpleMarkingStore.h

src/DiscreteVerification/DataStructures/TimeDart.hpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp

src/DiscreteVerification/DataStructures/TimeDartPWList.cpp

src/DiscreteVerification/DataStructures/TimeDartPWList.hpp

src/DiscreteVerification/DataStructures/Waiting.h

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/binarywrapper.h

src/DiscreteVerification/DataStructures/light_deque.h

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DataStructures/visitor.h

src/DiscreteVerification/DeadlockVisitor.cpp

src/DiscreteVerification/DeadlockVisitor.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.hpp

src/DiscreteVerification/Generator.cpp

src/DiscreteVerification/Generator.h

src/DiscreteVerification/PlaceVisitor.cpp

src/DiscreteVerification/PlaceVisitor.hpp

src/DiscreteVerification/QueryVisitor.hpp

src/DiscreteVerification/ReducingGenerator.cpp

src/DiscreteVerification/ReducingGenerator.hpp

src/DiscreteVerification/SearchStrategies/

src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.cpp

src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.hpp

src/DiscreteVerification/SearchStrategies/NonStrictBFS.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFS.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFSHeuristic.hpp

src/DiscreteVerification/SearchStrategies/NonStrictDFSRandom.hpp

src/DiscreteVerification/SearchStrategies/NonStrictHeuristic.hpp

src/DiscreteVerification/SearchStrategies/NonStrictRandom.hpp

src/DiscreteVerification/SearchStrategies/SearchFactory.h

src/DiscreteVerification/SearchStrategies/SearchStrategies.hpp

src/DiscreteVerification/SearchStrategies/SearchStrategy.hpp

src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp

src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.hpp

src/DiscreteVerification/SearchStrategies/WorkflowMinFirst.hpp

src/DiscreteVerification/TimeDartSuccessorGenerator.cpp

src/DiscreteVerification/TimeDartSuccessorGenerator.hpp

src/DiscreteVerification/Util/

src/DiscreteVerification/Util/IntervalOps.cpp

src/DiscreteVerification/Util/IntervalOps.hpp

src/DiscreteVerification/VerificationTypes/

src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.h

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

src/DistanceMeasure/

src/DistanceMeasure/Data/

src/DistanceMeasure/Data/tawfn.q

src/DistanceMeasure/Data/tawfn.xml

src/DistanceMeasure/Data/tawfn_export.xml

src/DistanceMeasure/Data/tel.xml

src/DistanceMeasure/Data/universal.q

src/DistanceMeasure/Distance.cpp

src/DistanceMeasure/Distance.hpp

src/DistanceMeasure/TET/

src/DistanceMeasure/TET/TimedEventTrace.cpp

src/DistanceMeasure/TET/TimedEventTrace.hpp

src/DistanceMeasure/TETParser/

src/DistanceMeasure/TETParser/TETXmlParser.cpp

src/DistanceMeasure/TETParser/TETXmlParser.hpp

src/DistanceMeasure/dm_README.txt

src/compile-linux-32-64.sh

src/compile-mac-32-64.sh

src/compile-win-32.sh