← Back to branch summary

~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to include/CTL/CTLResult.h

  • Committer: Peter G. Jensen
  • Date: 2020-03-02 21:03:24 UTC
  • mto: (213.1.38 verifypn_cmake)
  • mto: This revision was merged to the branch mainline in revision 225.
  • Revision ID: peter.gjoel@gmail.com-20200302210324-mmaia5l9vthz8oxx
adding rebuild structure

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/CTL/CTLResult.h
 
1
#ifndef CTLRESULT_H
 
2
#define CTLRESULT_H
 
3
 
 
4
#include "../PetriEngine/errorcodes.h"
 
5
#include "../PetriEngine/PQL/PQL.h"
 
6
 
 
7
#include <string>
 
8
 
 
9
struct CTLResult {
 
10
    CTLResult(const PetriEngine::PQL::Condition_ptr& qry){
 
11
        query = qry;
 
12
    }
 
13
 
 
14
    PetriEngine::PQL::Condition_ptr query;
 
15
    bool result;
 
16
 
 
17
    double duration = 0;
 
18
    size_t numberOfMarkings = 0;
 
19
    size_t numberOfConfigurations = 0;
 
20
    size_t processedEdges = 0;
 
21
    size_t processedNegationEdges = 0;
 
22
    size_t exploredConfigurations = 0;
 
23
    size_t numberOfEdges = 0;
 
24
#ifdef VERIFYPNDIST
 
25
    size_t numberOfRoundsComputingDistance = 0;
 
26
    size_t numberOfTokensReceived = 0;
 
27
    size_t numberOfRequestsReceived = 0;
 
28
    size_t numberOfAnswersReceived = 0;
 
29
    size_t numberOfMessagesSend = 0;
 
30
#endif
 
31
};
 
32
 
 
33
#endif // CTLRESULT_H