Download List

项目描述

The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported

系统要求

作业系统: Cygwin (MS Windows), MinGW/MSYS (MS Windows), All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), VxWorks, POSIX (Linux,BSD,Solaris etc..), BSD, Windows

Download Package list

Latest 5 files
名称 大小 日期 下载总数
intervals_1_13.tgz 605.4 KB 2020-05-31 03:15 2
readme_intervals.txt 0.2 KB 2020-05-29 22:55 5
readme.txt 0.1 KB 2020-05-29 22:55 5
intervals.htm 70.0 KB 2020-05-29 22:55 9
readme.txt 0.6 KB 2020-05-29 22:55 2
全文件
releases
intervals_1_13.tgz605.4 KB2020-05-31 03:152
intervals_1_12.tgz514.6 KB2018-06-02 17:568
intervals_1_9.tgz495.8 KB2015-01-18 02:1912
intervals_1_11.tgz503.7 KB2014-07-27 03:536
documentation
intervals.htm70.0 KB2020-05-29 22:559
units.htm295.8 KB2020-05-29 22:5511
strings_edit.htm352.6 KB2020-05-29 22:555
tables.htm44.6 KB2020-05-29 22:553
ubuntu-logo.jpg1.3 KB2017-08-10 05:230
centos-logo.jpg1.1 KB2016-09-18 21:540
debian-logo.jpg1.1 KB2010-05-16 20:575
fedora-logo.jpg1.0 KB2010-05-16 20:416
units_converter.gif37.7 KB2007-07-08 17:5114
gtk_unit_selection_widget.gif8.5 KB2007-04-24 05:181
gtk_unit_selection_dialog.gif11.7 KB2007-04-24 05:165
strings_edit_scale.gif7.1 KB2007-03-19 18:588
download.jpg1.7 KB2002-05-13 16:215
home.jpg1.6 KB2002-05-13 16:217
index.gif1.0 KB2002-05-13 16:217
next.gif1.0 KB2002-05-13 16:216
prev.gif1.0 KB2002-05-13 16:2114
in.jpg1.7 KB2001-04-21 05:2411
sources
readme_intervals.txt0.2 KB2020-05-29 22:555
test_intervals
readme.txt0.1 KB2020-05-29 22:555
intervals-test.gpr0.3 KB2018-07-25 01:332
test_float_intervals.adb14.8 KB2010-05-30 06:351
test_integer_intervals.adb12.3 KB2010-05-30 06:352
readme_units.txt0.2 KB2020-05-29 22:553
test_strings_edit
readme_strings_edit.txt0.5 KB2020-05-29 22:557
test_koi8.adb2.6 KB2019-08-02 01:400
test_oid.adb3.2 KB2019-08-02 01:400
test_base64.adb14.8 KB2019-08-02 01:406
test_dn.adb6.7 KB2019-08-02 01:400
test_iso_8601.adb8.7 KB2019-08-02 01:400
strings_edit-test.gpr2.5 KB2019-07-29 04:173
test_itu_t61.adb3.6 KB2019-06-23 20:360
test_iso_8859_9.adb3.2 KB2018-11-04 20:270
test_macos_roman.adb2.6 KB2018-11-04 20:272
test_radix50.adb2.9 KB2018-11-04 20:270
test_string_streams.adb10.3 KB2018-11-04 20:272
test_windows_1250.adb3.2 KB2018-11-04 20:271
test_windows_1251.adb2.7 KB2018-11-04 20:270
test_windows_1252.adb3.2 KB2018-11-04 20:270
test_windows_1253.adb3.5 KB2018-11-04 20:270
test_windows_1254.adb3.3 KB2018-11-04 20:270
test_windows_1255.adb3.5 KB2018-11-04 20:270
test_windows_1256.adb2.6 KB2018-11-04 20:270
test_windows_1257.adb3.5 KB2018-11-04 20:270
test_windows_1258.adb3.4 KB2018-11-04 20:270
test_iso_8859_10.adb3.2 KB2018-11-04 20:270
test_iso_8859_2.adb3.2 KB2018-11-04 20:270
test_iso_8859_3.adb3.4 KB2018-11-04 20:270
test_iso_8859_4.adb3.2 KB2018-11-04 20:270
test_iso_8859_5.adb3.2 KB2018-11-04 20:270
test_iso_8859_6.adb3.4 KB2018-11-04 20:270
test_iso_8859_7.adb3.3 KB2018-11-04 20:270
test_iso_8859_8.adb3.3 KB2018-11-04 20:270
test_chacha20.adb16.2 KB2018-08-04 18:200
strings_edit-utf8-categorization_generator.adb20.8 KB2018-07-29 18:442
strings_edit-utf8-mapping_generator.adb16.0 KB2018-07-29 18:445
test_strings_edit.adb34.6 KB2016-04-08 05:444
UnicodeData.txt1.0 MB2008-01-12 23:1426
test_units
readme_units.txt0.3 KB2020-05-29 22:555
test_gtk_unit_selection.adb15.2 KB2020-05-29 18:261
units-gtk-test_gtk_unit_selection.gpr0.8 KB2018-07-24 23:442
units-test_measures.gpr0.2 KB2018-07-24 23:424
test_measures.adb23.6 KB2014-05-30 18:504
units-examples
units-converter
gtk
readme.txt0.7 KB2020-05-29 22:552
units_converter.gpr0.8 KB2018-07-25 01:062
units_converter.adb6.8 KB2016-10-08 16:433
win32
readme.txt0.2 KB2020-05-29 22:554
units_converter.RES0.6 KB2020-05-29 22:551
units_converter.gpr0.5 KB2020-05-29 18:447
units_converter.adb10.3 KB2018-07-26 01:591
units_converter.rc2.6 KB2018-07-26 01:592
units-mapper
readme.txt0.6 KB2020-05-29 22:552
units_mapper.adb6.0 KB2020-05-29 18:265
units_mapper.gpr0.7 KB2018-07-25 01:084
readme_strings_edit.txt0.2 KB2020-05-29 22:554
readme_tables.txt0.2 KB2020-05-29 22:552
test_tables
readme_tables.txt0.2 KB2020-05-29 22:551
tables-test.gpr0.6 KB2018-07-24 23:324
test_tables.adb7.0 KB2016-04-08 05:443
test_tables_check_matched.adb2.0 KB2010-06-24 03:152
test_tables_check_spelling.adb2.5 KB2010-06-24 03:154
test_tables_names.ads2.1 KB2010-06-24 03:159
test_tables_table.ads1.9 KB2010-06-24 03:152
measures_gtk_edit-dialogs.adb10.4 KB2020-05-29 18:2611
measures_gtk_edit-gentry-cell_renderer.adb21.2 KB2020-05-29 18:266
measures_gtk_edit-gentry.adb16.4 KB2020-05-29 18:269
measures_gtk_edit.adb34.1 KB2020-05-29 18:265
strings_edit-utf8-maps.adb66.8 KB2020-05-29 18:264
strings_edit-chacha20-aead.adb8.8 KB2020-05-29 18:260
strings_edit-chacha20-aead.ads3.7 KB2020-05-29 18:262
strings_edit-chacha20.adb20.7 KB2020-05-29 18:263
strings_edit-iso_8601.adb26.8 KB2020-05-29 18:260
strings_edit-utf8-blocks.ads15.6 KB2020-05-29 18:266
strings_edit-utf8-maps.ads22.2 KB2020-05-29 18:263
strings_edit-integer_edit.ads7.0 KB2020-01-03 01:3613
strings_edit-streams.adb4.6 KB2019-09-14 20:114
strings_edit-utf8-maps-constants.ads4.5 KB2019-09-14 20:116
tables-names.adb11.3 KB2019-09-14 20:115
tables-names.ads5.4 KB2019-09-14 20:114
tables.adb13.2 KB2019-09-14 20:119
tables.ads11.1 KB2019-09-14 20:115
tables.gpr7.5 KB2019-08-20 18:272
strings_edit.gpr12.9 KB2019-08-20 18:272
strings_edit-distinguished_names.adb50.5 KB2019-08-02 01:400
strings_edit-float_edit.adb19.3 KB2019-08-02 01:401
strings_edit-object_identifiers.adb7.4 KB2019-08-02 01:400
strings_edit-text_edit.adb6.9 KB2019-08-02 01:402
strings_edit-base64.adb15.2 KB2019-08-02 01:408
strings_edit-base64.ads7.7 KB2019-08-02 01:405
strings_edit-distinguished_names.ads14.8 KB2019-08-02 01:400
strings_edit-iso_8601.ads5.3 KB2019-08-02 01:400
strings_edit-object_identifiers.ads5.6 KB2019-08-02 01:400
strings_edit-utf8-itu_t61.adb13.4 KB2019-06-23 20:360
strings_edit-utf8-itu_t61.ads4.2 KB2019-06-23 20:360
strings_edit-long_floats.ads2.0 KB2019-06-23 20:360
strings_edit-utf8-windows_1258.adb19.5 KB2018-11-04 20:270
strings_edit-chacha20-poly1305.adb16.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_10.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_2.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_3.adb16.4 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_4.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_5.adb17.0 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_6.adb12.7 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_7.adb16.7 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_8.adb13.6 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_9.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-koi8.adb18.5 KB2018-11-04 20:270
strings_edit-utf8-macos_roman.adb18.7 KB2018-11-04 20:270
strings_edit-utf8-radix50.adb9.3 KB2018-11-04 20:270
strings_edit-utf8-recoding_streams.adb13.1 KB2018-11-04 20:270
strings_edit-utf8-windows_1250.adb19.8 KB2018-11-04 20:270
strings_edit-utf8-windows_1251.adb20.4 KB2018-11-04 20:270
strings_edit-utf8-windows_1252.adb10.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1253.adb18.9 KB2018-11-04 20:271
strings_edit-utf8-windows_1254.adb19.6 KB2018-11-04 20:270
strings_edit-utf8-windows_1255.adb18.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1256.adb18.7 KB2018-11-04 20:270
strings_edit-utf8-windows_1257.adb19.3 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_10.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_2.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_3.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_4.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_5.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_6.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_7.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_8.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_9.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-koi8.ads3.6 KB2018-11-04 20:270
strings_edit-utf8-macos_roman.ads3.7 KB2018-11-04 20:270
strings_edit-utf8-radix50.ads3.3 KB2018-11-04 20:270
strings_edit-utf8-recoding_streams.ads5.4 KB2018-11-04 20:270
strings_edit-utf8-windows_1250.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1251.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1252.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1253.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1254.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1255.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1256.ads3.7 KB2018-11-04 20:270
strings_edit-utf8-windows_1257.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1258.ads4.3 KB2018-11-04 20:270
strings_edit-chacha20-poly1305.ads4.9 KB2018-08-03 17:211
strings_edit-chacha20.ads10.5 KB2018-08-03 17:210
intervals.gpr0.8 KB2018-07-25 01:333
units.gpr1.9 KB2018-07-25 01:0312
units-gtk.gpr1.3 KB2018-07-24 23:426
strings_edit-streams-generic_integer.adb7.6 KB2016-11-19 00:332
strings_edit-streams-generic_modular.adb5.4 KB2016-11-19 00:331
strings_edit-streams-generic_unsigned.adb5.6 KB2016-11-19 00:334
measures_gtk_edit-dialogs.ads6.7 KB2016-07-21 14:536
measures_generic_edit.adb64.5 KB2016-04-09 16:596
measures_generic_edit.ads11.2 KB2016-04-09 16:597
units-utf8_edit.adb6.4 KB2016-04-09 16:591
intervals-measures.adb21.6 KB2016-04-09 04:384
strings_edit-integer_edit.adb8.5 KB2016-04-08 05:443
strings_edit-lexicographical_order.adb6.6 KB2016-04-08 05:442
strings_edit-utf8-integer_edit.adb7.7 KB2016-04-08 05:445
strings_edit-utf8-subscript.adb4.4 KB2016-04-08 05:445
strings_edit-utf8-wildcards.adb10.9 KB2016-04-08 05:444
strings_edit-utf8-wildcards.ads3.7 KB2016-04-08 05:444
strings_edit-utf8.adb10.4 KB2016-04-08 05:445
strings_edit-streams-generic_integer.ads3.6 KB2016-04-08 05:444
strings_edit-streams-generic_modular.ads3.6 KB2016-04-08 05:442
strings_edit-streams-generic_unsigned.ads3.7 KB2016-04-08 05:443
strings_edit-streams-integers.ads2.0 KB2014-11-22 18:034
strings_edit-streams-integers_32.ads2.1 KB2014-11-22 18:038
strings_edit-streams-integers_64.ads2.1 KB2014-11-22 18:032
strings_edit-streams-naturals.ads2.0 KB2014-11-22 18:032
strings_edit-streams-unsigneds_32.ads2.1 KB2014-11-22 18:037
strings_edit-streams-unsigneds_64.ads2.1 KB2014-11-22 18:033
intervals-floats.ads11.8 KB2014-06-07 03:533
strings_edit-float_edit.ads9.6 KB2014-06-07 02:104
strings_edit-integers-subscript.ads2.0 KB2014-06-07 02:105
strings_edit-integers-superscript.ads2.0 KB2014-06-07 02:104
measures_gtk_edit-gentry-cell_renderer.ads14.2 KB2014-05-30 18:505
measures_gtk_edit-gentry.ads10.6 KB2014-05-30 18:502
measures_gtk_edit.ads11.8 KB2014-05-30 18:501
units.adb6.7 KB2014-05-30 18:503
units.ads5.9 KB2014-05-30 18:508
strings_edit-quoted.ads4.0 KB2014-05-30 18:501
measures_irregular.ads9.7 KB2013-04-27 17:105
strings_edit-utf8-wildcards-case_insensitive.adb2.9 KB2012-10-13 18:551
strings_edit-utf8-wildcards-case_insensitive.ads2.5 KB2012-10-13 18:556
strings_edit-lexicographical_order.ads3.4 KB2012-04-02 21:322
strings_edit-streams.ads4.7 KB2012-02-11 22:231
intervals-measures.ads15.5 KB2012-01-22 04:444
measures_universal_edit.ads10.8 KB2011-03-19 21:423
measures_utf8_edit.adb4.3 KB2011-03-19 21:428
measures_utf8_edit.ads10.6 KB2011-03-19 21:422
intervals-floats.adb16.4 KB2010-04-14 18:210
strings_edit.adb7.9 KB2009-12-26 18:246
measures_universal_edit.adb4.7 KB2009-08-07 16:246
strings_edit.ads13.0 KB2009-05-09 05:145
strings_edit-fields.adb4.7 KB2009-04-22 04:031
strings_edit-fields.ads4.6 KB2009-04-22 04:033
strings_edit-floats.ads2.0 KB2009-04-22 04:032
strings_edit-generic_scale.adb3.9 KB2009-04-22 04:036
strings_edit-generic_scale.ads4.1 KB2009-04-22 04:034
strings_edit-integers.ads2.0 KB2009-04-22 04:035
strings_edit-quoted.adb5.8 KB2009-04-22 04:033
strings_edit-roman_edit.adb7.8 KB2009-04-22 04:037
strings_edit-roman_edit.ads5.8 KB2009-04-22 04:034
strings_edit-utf8-categorization.adb55.9 KB2009-04-22 04:033
strings_edit-utf8-categorization.ads5.6 KB2009-04-22 04:033
strings_edit-utf8-handling.adb5.8 KB2009-04-22 04:036
strings_edit-utf8-handling.ads4.4 KB2009-04-22 04:034
strings_edit-utf8-integer_edit.ads6.9 KB2009-04-22 04:032
strings_edit-utf8-mapping.adb101.0 KB2009-04-22 04:032
strings_edit-utf8-mapping.ads3.4 KB2009-04-22 04:031
strings_edit-utf8-subscript-integer_edit.ads7.5 KB2009-04-22 04:032
strings_edit-utf8-subscript.ads4.4 KB2009-04-22 04:036
strings_edit-utf8-superscript-integer_edit.ads7.4 KB2009-04-22 04:035
strings_edit-utf8-superscript.adb6.1 KB2009-04-22 04:038
strings_edit-utf8-superscript.ads4.4 KB2009-04-22 04:033
strings_edit-utf8.ads7.3 KB2009-04-22 04:031
measures.adb8.3 KB2008-07-06 17:514
intervals-integers.ads11.8 KB2008-07-06 16:533
measures_derived.ads4.8 KB2008-07-06 00:195
float_measures.ads1.9 KB2007-10-13 17:136
float_measures_derived.ads2.0 KB2007-10-13 17:136
float_measures_edit.ads2.1 KB2007-10-13 17:134
float_measures_elementary_functions.ads2.0 KB2007-10-13 17:131
float_measures_irregular.ads2.0 KB2007-10-13 17:133
float_measures_universal_edit.ads2.1 KB2007-10-13 17:135
float_measures_utf8_edit.ads2.1 KB2007-10-13 17:131
gtk-float_measures_cell_renderer.ads2.0 KB2007-10-13 17:130
gtk-float_measures_dialogs.ads2.1 KB2007-10-13 17:136
gtk-float_measures_edit.ads2.1 KB2007-10-13 17:134
gtk-float_measures_entry.ads2.1 KB2007-10-13 17:133
measures.ads11.3 KB2007-10-13 17:133
measures_edit.adb6.7 KB2007-10-13 17:131
measures_edit.ads11.8 KB2007-10-13 17:134
measures_elementary_functions.adb8.0 KB2007-10-13 17:133
measures_elementary_functions.ads5.8 KB2007-10-13 17:132
measures_table_of_integer.ads2.0 KB2007-10-13 17:130
measures_table_of_measure.ads2.0 KB2007-10-13 17:134
units-base.ads2.6 KB2007-10-13 17:131
units-constants.ads2.9 KB2007-10-13 17:132
units-edit.adb5.9 KB2007-10-13 17:138
units-edit.ads2.8 KB2007-10-13 17:134
units-utf8_edit.ads2.7 KB2007-10-13 17:131
float_interval_measures.ads2.1 KB2007-07-28 05:031
integer_intervals.ads2.0 KB2006-10-08 21:342
intervals-integers.adb13.5 KB2006-10-08 21:346
intervals.adb4.9 KB2006-10-08 21:343
intervals.ads4.1 KB2006-10-08 21:346
float_intervals.ads2.0 KB2006-10-08 21:343