← Back to branch summary

~yrke/opaal/timedart-vars+discrete

« back to all changes in this revision

Viewing changes to opaal/model_parsers/state.py

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-05-17 08:07:38 UTC
  • mfrom: (37.1.19 timedart-vars)
  • Revision ID: mail@yrke.dk-20110517080738-y09sdczr3npky2af
Merged with vars

Show diffs side-by-side

added added

removed removed

Lines of Context:
opaal/model_parsers/state.py
55
55
    def __setitem__(self, key, value):
56
56
        self.hash = None
57
57
        if key in self.clocks.keys():
58
 
            if value == 0:
 
58
             #We allow non zero resets (as it is an anchor)
 
59
             #if value == 0:
59
60
                #print 'Reseting clock %s' % (key)
60
 
                self.clocks[key] = value
61
 
            else:
62
 
                raise IllegalStateException("Assignment to clock %s not 0" % (key))
 
61
             self.clocks[key] = value
 
62
             #else:
 
63
             #   raise IllegalStateException("Assignment to clock %s not 0" % (key))
63
64
        elif key in self.lattice_part.keys():
64
65
            self.lattice_part[key] = value
65
66
        else: