From: Jeremy Siek (jsiek_at_[hidden])
Date: 2001-01-13 15:56:43
On Fri, 12 Jan 2001, Doug Gregor wrote:
gregod>
gregod> Operators are all mapped to classes, and identity elements
gregod> will be mapped to integers. To state that integers form an
gregod> Abelian group over addition, we would have:
gregod> AbelianGroup<int, plus, 0, negate, minus>. There is a
gregod> mapping that allows us to take the domain (int) and the
gregod> IdentityID (0) and get the actual value (0) at run-time
gregod> when it is needed.
This is what the "literals" tables are for? Could you give an example of
how this works.
Thanks!
Jeremy
----------------------------------------------------------------------
Jeremy Siek www: http://www.lsc.nd.edu/~jsiek/
Ph.D. Candidate email: jsiek_at_[hidden]
Univ. of Notre Dame work phone: (219) 631-3906
----------------------------------------------------------------------