← Back to branch summary

~yrke/opaal/timedart-vars

« back to all changes in this revision

Viewing changes to opaal/model_parsers/pyuppaal/successor_generator.py

  • Committer: Kenneth Yrke Joergensen
  • Date: 2011-05-05 12:06:27 UTC
  • Revision ID: kenneth@yrke.dk-20110505120627-krn5c4ll7uvga2vh
stuff

Show diffs side-by-side

added added

removed removed

Lines of Context:
opaal/model_parsers/pyuppaal/successor_generator.py
160
160
                        elements = tr.guard.value.split("and")
161
161
                        for s in elements:
162
162
                                splitGuard = s.strip().split(" ")
163
 
                                resets.add(splitGuard[0])
164
163
 
165
164
                                if splitGuard[1] == ">=":
166
165
                                    lowerVal[splitGuard[0]] = int(splitGuard[2])
282
281
                            if tmp > self.maxconstant+1:
283
282
                                 tmp = self.maxconstant+1
284
283
                            a[c] = tmp
285
 
                        for r in resets:
286
 
                            a[r] = 0
287
 
                        #exec update in self.constants, a
 
284
                        #for r in resets: #This is wrong collected wrong data
 
285
                        #    a[r] = 0
 
286
                        exec update in self.constants, a 
288
287
                        #if normalize:
289
288
                        #    s1, w1, p1 = self.normalize(a,0,self.infconstant)
290
289
                        #else: