← Back to branch summary

~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to src/PetriParse/PNMLParser.cpp

  • Committer: tpede16 at aau
  • Date: 2020-12-18 13:50:02 UTC
  • Revision ID: tpede16@student.aau.dk-20201218135002-ylbdhl8iirw48bvw
Adjust model and query output to work with gui

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/PetriParse/PNMLParser.cpp
569
569
    }
570
570
    else if(type && strcmp(type->value(), "transport") == 0 || element && strcmp(element->name(), "transportArc") == 0)
571
571
    {
572
 
        transportID = std::to_string(nextTransportId++);
 
572
        transportID = element->first_attribute("transportID")->value();
573
573
        transport = true;
574
574
    }
575
575
    else if (type && strcmp(type->value(), "normal") == 0 || element && (strcmp(element->name(), "inputArc") == 0 || strcmp(element->name(), "outputArc") == 0)) {