 |  | intege_vectors |  |
 |  | inte_vecto.ads |  |
|  | maths | |
| | intege_functio | |
| intege_vectors | ||
| real_functions | ||
| real_numbers | ||
| real_vectors | ||
| vectors | ||
 | test_maths.adb |
| | util | |
|  | hash_tables/ | |
| heaps/ | ||
| images/ | ||
| lists/ | ||
| maths/ | ||
| messages/ | ||
| pipes/ | ||
| primes/ | ||
| readers/ | ||
| strings/ | ||
| writers/ |
| | ada | |
| | bin/ | |
| engine/ | ||
| fonts/ | ||
| internal/ | ||
| text/ | ||
| util/ |
|  | Home | |
|  | Showcase | |
 | Snapshots | ||
 | Ada Source | ||
 | PHP Source | ||
 | Fonts |
|  | Sourceforge | |
|  | Summary | |
 | Downloads | ||
 | Browse CVS | ||
 | Donate | ||
 | Activity |
Hosted by
-- $Date: 2004/02/25 07:13:48 $
-- $Revision: 1.2 $
-- $Author: jcrocholl $
with Integer_Functions; use Integer_Functions;
with Integer_Strings; use Integer_Strings;
with Vectors;
-- Instantiation of Vectors with Integer as the Number type.
package Integer_Vectors is new Vectors(Integer, 0,
Min => Integer'Min, Max => Integer'Max);