RODIN / Bugs / #427 Axioms in classtypes not quantified

#427 Axioms in classtypes not quantified

Milestone: 1.0

Status: closed

Owner: Colin Snook

Labels: U2B plugin (20)

Priority: 5

Updated: 2020-09-08

Created: 2010-04-15

Creator: Colin Snook

Private: No

Axioms placed inside class types should a have a universal quantification over instances pre-pended during translation

Discussion

Colin Snook - 2020-09-08

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2020-09-08

UML-B is no longer supported - we use iUML-B instead

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.