← Back to branch summary

~srba/verifytapn/trunk

« back to all changes in this revision

Viewing changes to src/ReachabilityChecker/Search/BFS.hpp

  • 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.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/ReachabilityChecker/Search/BFS.hpp
 
1
#ifndef BFS_HPP_
 
2
#define BFS_HPP_
 
3
 
 
4
#include "SearchStrategy.hpp"
 
5
 
 
6
namespace VerifyTAPN
 
7
{
 
8
        class BFS : public DefaultSearchStrategy
 
9
        {
 
10
        public:
 
11
                BFS(
 
12
                        const VerifyTAPN::TAPN::TimedArcPetriNet& tapn,
 
13
                        SymbolicMarking* initialMarking,
 
14
                        const AST::Query* query,
 
15
                        const VerificationOptions& options,
 
16
                        MarkingFactory* factory
 
17
                ) : DefaultSearchStrategy(tapn, initialMarking, query, options, factory) { };
 
18
 
 
19
        protected:
 
20
                virtual WaitingList* CreateWaitingList() const { return new QueueWaitingList; };
 
21
        };
 
22
 
 
23
}
 
24
 
 
25
#endif /* BFS_HPP_ */