← Back to branch summary

~verifypn-cpn/verifypn/verifypn-games

« back to all changes in this revision

Viewing changes to PetriEngine/Colored/ColoredPetriNetBuilder.cpp

  • Committer: Peter G. Jensen
  • Date: 2019-04-13 14:55:11 UTC
  • Revision ID: peter.gjoel@gmail.com-20190413145511-8v80vd3zbi0w075e
seems to work

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/Colored/ColoredPetriNetBuilder.cpp
98
98
        _colors[id] = type;
99
99
    }
100
100
    bool ColoredPetriNetBuilder::isGame() const {
101
 
        for(size_t i = 1; i < _transitions.size(); ++i)
 
101
        for(size_t i = 0; i < _transitions.size(); ++i)
102
102
        {
103
 
            if(_transitions[i].player != _transitions[i-1].player)
 
103
            if(_transitions[i].player != 0)
104
104
                return true;
105
105
        }
106
106
        return _ptBuilder.isGame();