← Back to branch summary

~srba/verifydtapn/trunk

~srba/verifydtapn/trunk

Viewing all changes in revision 270.

Committer: Jiri Srba
Date: 2012-10-16 20:30:36 UTC
mfrom: (269.1.2 separatingConcerns)
Revision ID: srba@cs.aau.dk-20121016203036-3teo47qd5k68nk51

merged a branch that reparates the reachability and liveness search algorithm

files added:
src/DiscreteVerification/SearchStrategies/SearchStrategy.hpp

src/DiscreteVerification/VerificationTypes

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

files removed:
src/DiscreteVerification/NonStrictSearch.cpp

src/DiscreteVerification/NonStrictSearch.hpp

files modified:
src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.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

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/DiscreteVerification.hpp

src/DiscreteVerification/NonStrictSearch.cpp

src/DiscreteVerification/NonStrictSearch.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/SearchStrategy.hpp

src/DiscreteVerification/VerificationTypes/

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

Older »