← Back to branch summary

~srba/verifytapn/trunk

~srba/verifytapn/trunk

Viewing all changes in revision 130.

Committer: Morten Jacobsen
Date: 2011-06-14 13:52:39 UTC
Revision ID: morten.jacobsen.2k@gmail.com-20110614135239-3ht7mfn4qt3h5gim

Added Cover most and Random search strategies.

files added:
src/ReachabilityChecker/PassedWaitingList/PriorityQueueWaitingList.hpp

src/ReachabilityChecker/Search

src/ReachabilityChecker/Search/BFS.hpp

src/ReachabilityChecker/Search/CoverMostSearch.hpp

src/ReachabilityChecker/Search/DFS.hpp

src/ReachabilityChecker/Search/RandomSearch.hpp

files renamed:
src/ReachabilityChecker/SearchStrategy.cpp => src/ReachabilityChecker/Search/SearchStrategy.cpp

src/ReachabilityChecker/SearchStrategy.hpp => src/ReachabilityChecker/Search/SearchStrategy.hpp

files modified:
src/Core/ArgsParser.cpp

src/Core/SymbolicMarking/DiscretePartInclusionMarking.hpp

src/Core/SymbolicMarking/StoredMarking.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.cpp

src/Core/SymbolicMarking/DiscretePartInclusionMarking.hpp

src/Core/SymbolicMarking/StoredMarking.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/ReachabilityChecker/PassedWaitingList/PriorityQueueWaitingList.hpp

src/ReachabilityChecker/Search/

src/ReachabilityChecker/Search/BFS.hpp

src/ReachabilityChecker/Search/CoverMostSearch.hpp

src/ReachabilityChecker/Search/DFS.hpp

src/ReachabilityChecker/Search/RandomSearch.hpp

src/ReachabilityChecker/Search/SearchStrategy.cpp

src/ReachabilityChecker/Search/SearchStrategy.hpp

Older »