← Back to branch summary

~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to src/PetriEngine/PetriNetBuilder.cpp

  • Committer: tpede16 at aau
  • Date: 2021-02-25 10:03:51 UTC
  • Revision ID: tpede16@student.aau.dk-20210225100351-hdwax3ktqci2uuea
Add colortype to dot colors and fix writing of arc weights

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/PetriEngine/PetriNetBuilder.cpp
182
182
 
183
183
        assert(t < _transitions.size());
184
184
        assert(p < _places.size());
185
 
        
186
185
        Arc arc;
187
186
        arc.place = p;
188
187
        arc.weight = weight;
392
391
                for(auto post : trans.post)
393
392
                {
394
393
                    assert(freeinv < net->_ninvariants);
395
 
                    auto& post_inv = net->_invariants[freeinv];
 
394
                    Invariant& post_inv = net->_invariants[freeinv];
396
395
                    post_inv.place = post.place;
397
396
                    post_inv.tokens = post.weight;
398
397
                    post_inv.transport = post.transport;