← Back to branch summary

~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to include/PetriEngine/Colored/ColoredNetStructures.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/PetriEngine/Colored/ColoredNetStructures.h
 
1
/*
 
2
 * To change this license header, choose License Headers in Project Properties.
 
3
 * To change this template file, choose Tools | Templates
 
4
 * and open the template in the editor.
 
5
 */
 
6
 
 
7
/* 
 
8
 * File:   ColoredNetStructures.h
 
9
 * Author: Klostergaard
 
10
 *
 
11
 * Created on 17. februar 2018, 17:07
 
12
 */
 
13
 
 
14
#ifndef COLOREDNETSTRUCTURES_H
 
15
#define COLOREDNETSTRUCTURES_H
 
16
 
 
17
#include <vector>
 
18
#include <set>
 
19
#include "Colors.h"
 
20
#include "Expressions.h"
 
21
#include "Multiset.h"
 
22
 
 
23
namespace PetriEngine {
 
24
    namespace Colored {
 
25
        
 
26
        struct Arc {
 
27
            uint32_t place;
 
28
            uint32_t transition;
 
29
            ArcExpression_ptr expr;
 
30
            bool input;
 
31
        };
 
32
        
 
33
        struct Transition {
 
34
            std::string name;
 
35
            GuardExpression_ptr guard;
 
36
            std::vector<Arc> arcs;
 
37
        };
 
38
        
 
39
        struct Place {
 
40
            std::string name;
 
41
            ColorType* type;
 
42
            Multiset marking;
 
43
        };
 
44
    }
 
45
}
 
46
 
 
47
#endif /* COLOREDNETSTRUCTURES_H */
 
48