RODIN / iUML-B_Tracker / #28 Suppress quantification anticedent if constraint does not involve self name

#28 Suppress quantification anticedent if constraint does not involve self name

Milestone: 3.1

Status: open

Bug or Feature Request?: Feature-Request

Which Diagram/Plug-in?: Class-Diagram

Updated: 2016-10-24

Created: 2016-10-24

Private: No

Constraints that do not involve self_name should not generate a quantification anticedent.