← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

« back to all changes in this revision

Viewing changes to CTL/Algorithm/CertainZeroFPA.h

  • Committer: Jiri Srba
  • Date: 2018-04-18 10:58:36 UTC
  • mfrom: (197.3.78 cpn_ctlss)
  • Revision ID: srba.jiri@gmail.com-20180418105836-a5rha272u0om4u77
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/Algorithm/CertainZeroFPA.h
5
5
#include "CTL/DependencyGraph/Edge.h"
6
6
#include "CTL/DependencyGraph/Configuration.h"
7
7
#include "PetriEngine/Reachability/ReachabilitySearch.h"
 
8
#include "CTL/SearchStrategy/SearchStrategy.h"
8
9
 
9
10
 
10
11
namespace Algorithm {
12
13
class CertainZeroFPA : public FixedPointAlgorithm
13
14
{
14
15
public:
15
 
    CertainZeroFPA(PetriEngine::Reachability::Strategy type) : FixedPointAlgorithm()
 
16
    CertainZeroFPA(PetriEngine::Reachability::Strategy type) : FixedPointAlgorithm(type)
16
17
    {
17
 
        if(type != PetriEngine::Reachability::DFS)
18
 
        {
19
 
            std::cerr << "CTL-Engine currently only supports DFS."   <<  std::endl;
20
 
            exit(ErrorCode);
21
 
        }
22
 
        strategy = new SearchStrategy::DFSSearch();
23
18
    }
24
19
    virtual ~CertainZeroFPA()
25
20
    {
26
 
        delete strategy;
27
21
    }
28
22
    virtual bool search(DependencyGraph::BasicDependencyGraph &t_graph) override;
29
23
protected:
30
24
 
31
25
    DependencyGraph::BasicDependencyGraph *graph;
32
 
    SearchStrategy::DFSSearch *strategy;
33
26
    DependencyGraph::Configuration* vertex;
34
27
    
35
28
    void checkEdge(DependencyGraph::Edge* e, bool only_assign = false);