← Back to branch summary

~yrke/+junk/discrete

« back to all changes in this revision

Viewing changes to opaal/modelchecking_algorithms/reachability.py

  • Committer: Kenneth Yrke Joergensen
  • Date: 2011-05-09 12:20:31 UTC
  • Revision ID: kenneth@yrke.dk-20110509122031-7lmp4xic5hmpmj63
Fixed error where updates on w, p on pw list gave wrong values, fixed some error in debug output. Refactored the implementation of the pw list

Show diffs side-by-side

added added

removed removed

Lines of Context:
opaal/modelchecking_algorithms/reachability.py
36
36
        self.pwlist.setWP(state, w,w) #Mark state as explored
37
37
       
38
38
        if (p == w): #Already checked
39
 
            #logger.debug("Already checked state on pw list %s - %s -S", state, w, p)
 
39
            #logger.debug("Already checked state on pw list %s - %s - %s", state, w, p)
40
40
            return
41
41
 
42
42
        if self.goalchecker.isGoal(state):