← Back to branch summary

~tapaal-dist-ctl/verifypn/par-ctl

« back to all changes in this revision

Viewing changes to PetriEngine/SuccessorGenerator.cpp

merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
adding arithmetic expressions to CTL queries

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/SuccessorGenerator.cpp
39
39
        uint32_t finv = ptr.inputs;
40
40
        uint32_t linv = ptr.outputs;
41
41
        for (; finv < linv; ++finv) {
42
 
            write.marking()[_net._invariants[finv].place] -= _net._invariants[finv].tokens;
 
42
            if(!_net._invariants[finv].inhibitor) {
 
43
                write.marking()[_net._invariants[finv].place] -= _net._invariants[finv].tokens;
 
44
            }
43
45
        }
44
46
    }
45
47