← Back to branch summary

~verifypn-cpn/verifypn/TACPNParser

« back to all changes in this revision

Viewing changes to PetriParse/PNMLParser.cpp

  • Committer: Niels Christensen
  • Date: 2019-04-03 10:38:53 UTC
  • Revision ID: nchri13@student.aau.dk-20190403103853-ose4bf27czf6bv6q
Fixed small bug

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriParse/PNMLParser.cpp
108
108
            if (!isColored) {
109
109
                builder->addInputArc(source.id, target.id, false, it->weight);
110
110
            } else if(isTimed) {
111
 
                builder->addInputArc(source.id, target.id, it->expr, false, it->interval);
 
111
                //builder->addInputArc(source.id, target.id, false, it->expr, it->interval);
112
112
            } else {
113
113
                builder->addInputArc(source.id, target.id, it->expr);
114
114
            }