Classes with DisjointUnion assertions should be displayed as defined classes

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Classes with DisjointUnion assertions should be displayed as defined classes

Alan Ruttenberg-2
DisjointUnion( C CE1 ... CEn )  

Means:

EquivalentClasses( C ObjectUnionOf( CE1 ... CEn ) )
,
DisjointClasses( CE1 ... CEn )

The EquivalentClasses is normally shown with the three-lines symbol. Could the DisjointUnion be displayed the same way please.


-Alan

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Classes with DisjointUnion assertions should be displayed as defined classes

Timothy Redmond

I put this in to the latest svn so it should appear in the next build.

-Timothy

On 7/3/13 2:21 PM, Alan Ruttenberg wrote:
DisjointUnion( C CE1 ... CEn )  

Means:

EquivalentClasses( C ObjectUnionOf( CE1 ... CEn ) )
,
DisjointClasses( CE1 ... CEn )

The EquivalentClasses is normally shown with the three-lines symbol. Could the DisjointUnion be displayed the same way please.


-Alan


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback