← Back to branch summary

~tapaal-ltl/verifypn/fireable-empty-preset-fix

« back to all changes in this revision

Viewing changes to include/PetriEngine/AbstractPetriNetBuilder.h

  • Committer: srba.jiri at gmail
  • Date: 2021-07-07 12:02:50 UTC
  • mfrom: (233.1.63 update-parser)
  • Revision ID: srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/PetriEngine/AbstractPetriNetBuilder.h
27
27
#include "Colored/Expressions.h"
28
28
 
29
29
namespace PetriEngine {
30
 
 
31
30
    /** Abstract builder for petri nets */
32
31
    class AbstractPetriNetBuilder {
33
32
    protected:
41
40
                double y = 0) = 0;
42
41
        /** Add a new colored place with a unique name */
43
42
        virtual void addPlace(const std::string& name,
44
 
                Colored::ColorType* type,
 
43
                const Colored::ColorType* type,
45
44
                Colored::Multiset&& tokens,
46
45
                double x = 0,
47
46
                double y = 0)
70
69
        /** Add colored input arc with given arc expression */
71
70
        virtual void addInputArc(const std::string& place,
72
71
                const std::string& transition,
73
 
                const Colored::ArcExpression_ptr& expr)
 
72
                const Colored::ArcExpression_ptr& expr, 
 
73
                bool inhibitor, int weight)
74
74
        {
75
75
            std::cerr << "Colored input arcs are not supported in standard P/T nets" << std::endl;
76
76
            exit(ErrorCode);
89
89
        }
90
90
        /** Add color types with id */
91
91
        virtual void addColorType(const std::string& id,
92
 
                Colored::ColorType* type)
 
92
                const Colored::ColorType* type)
93
93
        {
94
94
            std::cerr << "Color types are not supported in standard P/T nets" << std::endl;
95
95
            exit(ErrorCode);