DBMPyUPPAAL

lp:~peter-bulychev/dbmpyuppaal/dbmpyuppaal_discrete_states

Created by Peter Bulychev on 2011-10-19 and last modified on 2012-03-22

Get this branch:: bzr branch lp:~peter-bulychev/dbmpyuppaal/dbmpyuppaal_discrete_states

Only Peter Bulychev can upload to this branch. If you are Peter Bulychev please log in for upload directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Peter Bulychev

Project:: DBMPyUPPAAL

Status:: Development

Recent revisions

49. By Peter Bulychev on 2012-03-22: modified hash function for state predicate - it works when the location.name is both label and string
48. By Peter Bulychev on 2012-03-22: original labels are also stored
47. By Peter Bulychev on 2012-03-22: added __hash__ to LocationPredicate and Tautology
46. By Peter Bulychev on 2012-03-22: merged with other commits
45. By Peter Bulychev on 2012-03-22: string representation
44. By Peter Bulychev on 2012-03-22: do not delete assignment from transition
43. By Peter Bulychev on 2012-01-25: cached discrete states
42. By Peter Bulychev on 2012-01-24: we don't copy discrete state when copy nta state
41. By Peter Bulychev on 2011-11-29: added caching
40. By Peter Bulychev on 2011-11-24: modified hash function for a discrete state (now it takes into account valuation)

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:dbmpyuppaal

This branch contains Public information

Everyone can see this information.

Subscribers