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.
8
* File: ColoredNetStructures.h
11
* Created on 17. februar 2018, 17:07
14
#ifndef COLOREDNETSTRUCTURES_H
15
#define COLOREDNETSTRUCTURES_H
20
#include "Expressions.h"
23
namespace PetriEngine {
29
ArcExpression_ptr expr;
35
GuardExpression_ptr guard;
36
std::vector<Arc> arcs;
47
#endif /* COLOREDNETSTRUCTURES_H */