[LLVMdev] EquivalenceClasses

[David A. Greene]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Anton Vayvod wrote:

> I don't understand how A and B, for example, are equivalent. B is a
> subset of A but not vice versa. Thus your relation is not symmetric.

Correct.

> Equivalence classes are defined via equivalence relation. Subset is not
> one so this data structure just won't work correctly. 

That's what I suspected.  I am in fact using a different data structure
but wanted to make sure my reasoning about EquivalenceClasses was
correct.  Good to know I've been reasoning at least somewhat correctly
about this.  :)

                              -Dave
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGQl44gQsI8xjTYs8RAoNdAJ4wLt/GrJW4s144smwo8SIIYChJ6ACeJNFp
/4FYVm2OEJw/gXvUPnc0Rdo=
=XHym
-----END PGP SIGNATURE-----