- indexing
- title: "Integer values."
- project: "Eiffel Kernel Library"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
expanded class INTEGER
- inherit
-
INTEGER_REF
- end
- invariant
-
sign_times_abs:
equal (sign * abs, Current)
end -- class INTEGER