← Back to branch summary

~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to PetriEngine/NetStructures.h

  • Committer: Mark Glavind
  • Date: 2019-04-03 12:35:47 UTC
  • mfrom: (215.1.16 TACPNParser)
  • Revision ID: mglavi14@student.aau.dk-20190403123547-6sqbnfo1xeg3gq81
 merge from TACPNParser, feature finished

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/NetStructures.h
10
10
 
11
11
#include <limits>
12
12
#include <vector>
 
13
#include <iostream>
13
14
 
14
15
namespace PetriEngine {
15
16
 
18
19
        uint32_t weight;
19
20
        bool skip = false;
20
21
        bool inhib = false;
 
22
        uint32_t lowerBound;
 
23
        uint32_t upperBound;
 
24
        bool lowerStrict;
 
25
        bool upperStrict;
 
26
 
21
27
 
22
28
        Arc() :
23
29
        place(std::numeric_limits<uint32_t>::max()),
24
30
        weight(std::numeric_limits<uint32_t>::max()),
25
31
        skip(false),
26
 
        inhib(false) {
 
32
        inhib(false),
 
33
        lowerBound(std::numeric_limits<uint32_t>::max()),
 
34
        upperBound(std::numeric_limits<uint32_t> ::max()),
 
35
        lowerStrict(false),
 
36
        upperStrict(false)
 
37
        {
27
38
        };
28
39
        
29
40
        bool operator < (const Arc& other) const