← Back to branch summary

~tapaal-ltl/verifypn/answer-for-gui

« back to all changes in this revision

Viewing changes to include/PetriEngine/Colored/ColoredNetStructures.h

  • Committer: srba.jiri at gmail
  • Date: 2021-04-02 18:13:50 UTC
  • mfrom: (230.1.28 mcc2021)
  • Revision ID: srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements

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
 
1
/* Copyright (C) 2020  Alexander Bilgram <alexander@bilgram.dk>,
 
2
 *                     Peter Haar Taankvist <ptaankvist@gmail.com>,
 
3
 *                     Thomas Pedersen <thomas.pedersen@stofanet.dk>
 
4
 *                     Andreas H. Klostergaard
 
5
 *
 
6
 * This program is free software: you can redistribute it and/or modify
 
7
 * it under the terms of the GNU General Public License as published by
 
8
 * the Free Software Foundation, either version 3 of the License, or
 
9
 * (at your option) any later version.
 
10
 *
 
11
 * This program is distributed in the hope that it will be useful,
 
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
14
 * GNU General Public License for more details.
 
15
 *
 
16
 * You should have received a copy of the GNU General Public License
 
17
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
12
18
 */
13
19
 
14
20
#ifndef COLOREDNETSTRUCTURES_H
16
22
 
17
23
#include <vector>
18
24
#include <set>
 
25
#include <assert.h>
19
26
#include "Colors.h"
20
27
#include "Expressions.h"
21
28
#include "Multiset.h"
33
40
        struct Transition {
34
41
            std::string name;
35
42
            GuardExpression_ptr guard;
36
 
            std::vector<Arc> arcs;
 
43
            std::vector<Arc> input_arcs;
 
44
            std::vector<Arc> output_arcs;
 
45
            std::vector<std::unordered_map<const Colored::Variable *, Colored::intervalTuple_t>> variableMaps;
 
46
            bool considered;
37
47
        };
38
48
        
39
49
        struct Place {