V "GNAT Lib v15"
A -O2
A -gnatA
A -g
A -gnato
A -gnatf
A -gnatn
A -fstack-check=specific
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_CONVERSION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U fuzzy.lecture.cache%b	fuzzy-lecture-cache.adb	9efde7d0 OO PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.io_exceptions%s	a-ioexce.ads		a-ioexce.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W fuzzy%s		fuzzy.adb		fuzzy.ali
W fuzzy.lecture%s	fuzzy-lecture.adb	fuzzy-lecture.ali
W fuzzy.lecture.block%s	fuzzy-lecture-block.ads	fuzzy-lecture-block.ali
Z generic_unbounded_array%s  generic_unbounded_array.adb  generic_unbounded_array.ali  ED
Z system%s		system.ads		system.ali
Z system.finalization_primitives%s  s-finpri.adb  s-finpri.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali

U fuzzy.lecture.cache%s	fuzzy-lecture-cache.ads	6e4d0814 BN EB EE OO PF PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.finalization%s	a-finali.ads		a-finali.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_deallocation%s
W fuzzy%s		fuzzy.adb		fuzzy.ali
W fuzzy.lecture%s	fuzzy-lecture.adb	fuzzy-lecture.ali
W fuzzy.lecture.connotated%s  fuzzy-lecture-connotated.adb  fuzzy-lecture-connotated.ali
W fuzzy.lecture.handle%s  fuzzy-lecture-handle.adb  fuzzy-lecture-handle.ali
W fuzzy.lecture.memory_resident%s  fuzzy-lecture-memory_resident.adb  fuzzy-lecture-memory_resident.ali
W generic_unbounded_array%s  generic_unbounded_array.adb  generic_unbounded_array.ali
Z system%s		system.ads		system.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali

D ada.ads		20260103192500 76789da1 ada%s
D a-charac.ads		20260103192500 2d3ec45b ada.characters%s
D a-chlat1.ads		20260103192500 e0d72e76 ada.characters.latin_1%s
D a-except.ads		20260103192500 e7970cd9 ada.exceptions%s
D a-finali.ads		20260103192500 bf4f806b ada.finalization%s
D a-ioexce.ads		20260103192500 40018c65 ada.io_exceptions%s
D a-stream.ads		20260103192500 17477cbd ada.streams%s
D a-string.ads		20260103192500 90ac6797 ada.strings%s
D a-strmap.ads		20260103192500 1f91ebb6 ada.strings.maps%s
D a-sttebu.ads		20260103192500 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20260103192500 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20260103192500 fbca0ad5 ada.tags%s
D a-unccon.ads		20260103192500 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20260103192500 c3a8ac65 ada.unchecked_deallocation%s
D confidence_factors.ads  20260329112858 3a70ee97 confidence_factors%s
D deposit_handles.ads	20260329112621 7f4f1e3e deposit_handles%s
D deposit_handles.ads	20260329112621 7f4f1e3e deposit_handles%s
D fuzzy.ads		20260329112858 63ef6a46 fuzzy%s
D fuzzy-feature.ads	20260329113041 07049590 fuzzy.feature%s
D fuzzy-feature-handle.ads  20260329113041 8e645b0e fuzzy.feature.handle%s
D fuzzy-feature-handle.adb  20260329113041 a9842572 fuzzy.feature.handle%b
D fuzzy-feature-handle-bounded_arrays.ads  20260329113041 52a23ec5 fuzzy.feature.handle.bounded_arrays%s
D fuzzy-intuitionistic.ads  20260329112858 8a7ec066 fuzzy.intuitionistic%s
D fuzzy-lecture.ads	20260329113041 61255ad3 fuzzy.lecture%s
D fuzzy-lecture-block.ads  20260329113041 4929011a fuzzy.lecture.block%s
D fuzzy-lecture-cache.ads  20260329113041 6b0af348 fuzzy.lecture.cache%s
D fuzzy-lecture-cache.adb  20260329113041 1b48953e fuzzy.lecture.cache%b
D fuzzy-lecture-connotated.ads  20260329113041 396c273e fuzzy.lecture.connotated%s
D fuzzy-lecture-connotated.adb  20260329113041 ea48d4d9 fuzzy.lecture.connotated%b
D fuzzy-lecture-handle.ads  20260329113041 b95f1188 fuzzy.lecture.handle%s
D fuzzy-lecture-memory_resident.ads  20260329113041 f4fc28ab fuzzy.lecture.memory_resident%s
D fuzzy-logic.ads	20260329112858 4477a529 fuzzy.logic%s
D generic_segmented_stack.ads  20260329112621 9eb6a57e generic_segmented_stack%s
D generic_stack.ads	20260329112621 27957c0e generic_stack%s
D generic_unbounded_array.ads  20260329112621 afe23ff9 generic_unbounded_array%s
D generic_unbounded_array.adb  20260329112621 bf413f0c generic_unbounded_array%b
D generic_unbounded_ptr_array.ads  20260329112621 c587f3a9 generic_unbounded_ptr_array%s
D indicator.ads		20260329113041 849c575e indicator%s
D indicator-handle.ads	20260329113041 6e578ff3 indicator.handle%s
D interfac.ads		20260103192500 9111f9c1 interfaces%s
D i-c.ads		20260103192500 e94c966a interfaces.c%s
D object.ads		20260329112621 83d4bb8e object%s
D object-archived.ads	20260329112621 4878d960 object.archived%s
D object-archived-features.ads  20260329113041 8a69c255 object.archived.features%s
D object-archived-handle.ads  20260329112621 deff83d9 object.archived.handle%s
D object-archived-handle.adb  20260329112621 b29a365c object.archived.handle%b
D object-archived-iterators.ads  20260329112621 c9c8dbe3 object.archived.iterators%s
D object-archived-sets.ads  20260329112621 46ada32c object.archived.sets%s
D object-handle.ads	20260329112621 b9b97be4 object.handle%s
D object-handle.adb	20260329112621 2a21b3e2 object.handle%b
D object-handle-generic_bounded_array.ads  20260329112621 03681605 object.handle.generic_bounded_array%s
D object-handle-generic_set.ads  20260329112621 4416ab7e object.handle.generic_set%s
D object-handle-generic_unbounded_array.ads  20260329112621 4220346c object.handle.generic_unbounded_array%s
D object-handle-generic_unbounded_array.adb  20260329112621 230422e0 object.handle.generic_unbounded_array%b
D stack_storage.ads	20260329112621 63935343 stack_storage%s
D stack_storage-mark_and_release.ads  20260329112621 05848274 stack_storage.mark_and_release%s
D strings_edit.ads	20260329112426 7d801be5 strings_edit%s
D system.ads		20260103192500 14286b0f system%s
D s-exctab.ads		20260103192500 91bef6ef system.exception_table%s
D s-finpri.ads		20260103192500 5970d55a system.finalization_primitives%s
D s-finpri.adb		20260103192500 02c85f69 system.finalization_primitives%b
D s-finroo.ads		20260103192500 0a7c3ed4 system.finalization_root%s
D s-oscons.ads		20260103192500 2b1d2f1e system.os_constants%s
D s-oslock.ads		20260103192500 13fa6b78 system.os_locks%s
D s-parame.ads		20260103192500 3597fc11 system.parameters%s
D s-pooglo.ads		20260103192500 91708d21 system.pool_global%s
D s-putima.ads		20260103192500 17291fe4 system.put_images%s
D s-retsta.ads		20260103192500 0f6b06cb system.return_stack%s
D s-secsta.ads		20260103192500 578279f5 system.secondary_stack%s
D s-soflin.ads		20260103192500 5d88fdea system.soft_links%s
D s-stache.ads		20260103192500 0b81c1fe system.stack_checking%s
D s-stalib.ads		20260103192500 1c9580f6 system.standard_library%s
D s-stoele.ads		20260103192500 ccded4e8 system.storage_elements%s
D s-stopoo.ads		20260103192500 e9fa2dd8 system.storage_pools%s
D s-stposu.ads		20260103192500 e0b9fefd system.storage_pools.subpools%s
D s-stratt.ads		20260103192500 516607ae system.stream_attributes%s
D s-traent.ads		20260103192500 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20260103192500 fa2a7f59 system.unsigned_types%s
D tables.ads		20260329112410 9c2050af tables%s
D units.ads		20260329112806 b176e102 units%s
G a e
G c s s s [s fuzzy__lecture__cache 64 1 none]
G c Z s b [cache_get_examples_number fuzzy__lecture__cache 95 13 none]
G c Z s b [cache_put fuzzy__lecture__cache 110 14 none]
G c Z s b [cache_set_undefined fuzzy__lecture__cache 129 14 none]
G c Z s b [drop fuzzy__lecture__cache 143 14 none]
G c Z s b [finalize fuzzy__lecture__cache 153 14 none]
G c Z s b [initialize fuzzy__lecture__cache 162 14 none]
G c Z s b [get fuzzy__lecture__cache 167 13 none]
G c Z s b [is_defined fuzzy__lecture__cache 177 13 none]
G c Z s b [is_known fuzzy__lecture__cache 187 13 none]
G c Z s b [put fuzzy__lecture__cache 197 14 none]
G c Z s b [put fuzzy__lecture__cache 205 14 none]
G c Z s b [read fuzzy__lecture__cache 288 14 none]
G c Z s b [read fuzzy__lecture__cache 295 14 none]
G c Z s b [set_undefined fuzzy__lecture__cache 304 14 none]
G c Z s b [set_undefined fuzzy__lecture__cache 310 14 none]
G c Z s b [write fuzzy__lecture__cache 323 14 none]
G c Z s s [cache_index_arrayIP fuzzy__lecture__cache 328 9 none]
G c Z s s [erase fuzzy__lecture__cache__example_to_cache_index_mapping 77 14 329_4]
G c Z s s [finalize fuzzy__lecture__cache__example_to_cache_index_mapping 83 14 329_4]
G c Z s s [fetch fuzzy__lecture__cache__example_to_cache_index_mapping 97 13 329_4]
G c Z s s [get fuzzy__lecture__cache__example_to_cache_index_mapping 118 13 329_4]
G c Z s s [put fuzzy__lecture__cache__example_to_cache_index_mapping 131 14 329_4]
G c Z s s [unbounded_arrayDF fuzzy__lecture__cache__example_to_cache_index_mapping 65 9 329_4]
G c Z s s [unbounded_arrayIP fuzzy__lecture__cache__example_to_cache_index_mapping 65 9 329_4]
G c Z s s [delete fuzzy__lecture__cache__example_to_cache_index_mapping 32 14 329_4]
G c Z s s [Oadd fuzzy__lecture__cache__example_to_cache_index_mapping 78 13 329_4]
G c Z s s [Osubtract fuzzy__lecture__cache__example_to_cache_index_mapping 96 13 329_4]
G c Z s s [max fuzzy__lecture__cache__example_to_cache_index_mapping 110 13 329_4]
G c Z s s [min fuzzy__lecture__cache__example_to_cache_index_mapping 120 13 329_4]
G c Z s b [allocate fuzzy__lecture__cache 367 13 none]
G c Z s b [get_index fuzzy__lecture__cache 382 13 none]
G c Z s b [move fuzzy__lecture__cache 387 14 none]
G c Z s s [cached_exampleIP fuzzy__lecture__cache 337 9 none]
G c Z s s [tagsIP fuzzy__lecture__cache 342 9 none]
G c Z s s [caching_lecture_objectDF fuzzy__lecture__cache 346 9 none]
G c Z s s [caching_lecture_objectDI fuzzy__lecture__cache 346 9 none]
G c Z s s [caching_lecture_objectIP fuzzy__lecture__cache 346 9 none]
G r i none [s fuzzy__lecture__cache 64 1 none] [generic_unbounded_array standard 63 9 none]
G r c none [cache_put fuzzy__lecture__cache 110 14 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [cache_set_undefined fuzzy__lecture__cache 129 14 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r e connotated_lecture_object [finalize fuzzy__lecture__cache 153 14 none] [finalize fuzzy__lecture__connotated 210 14 none]
G r f lecture_object [initialize fuzzy__lecture__cache 162 14 none] [initialize fuzzy__lecture 288 14 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [get fuzzy__lecture 173 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [get fuzzy__lecture__memory_resident 102 13 none]
G r c none [get fuzzy__lecture__cache 167 13 none] [is_defined fuzzy__lecture__memory_resident 141 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [get fuzzy__lecture 173 13 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r c none [is_defined fuzzy__lecture__cache 177 13 none] [is_defined fuzzy__lecture__memory_resident 141 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [get fuzzy__lecture 173 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [is_known fuzzy__lecture__memory_resident 151 13 none]
G r c none [is_known fuzzy__lecture__cache 187 13 none] [is_defined fuzzy__lecture__memory_resident 141 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [get fuzzy__lecture 173 13 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [put fuzzy__lecture__cache 197 14 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [get fuzzy__lecture 173 13 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [put fuzzy__lecture__cache 205 14 none] [put fuzzy__lecture__memory_resident 172 14 none]
G r c none [read fuzzy__lecture__cache 288 14 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [read fuzzy__lecture__cache 288 14 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r c none [read fuzzy__lecture__cache 295 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [read fuzzy__lecture__cache 295 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [read fuzzy__lecture__cache 295 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [read fuzzy__lecture__cache 295 14 none] [put fuzzy__lecture__memory_resident 161 14 none]
G r c none [read fuzzy__lecture__cache 295 14 none] [set_undefined fuzzy__lecture__memory_resident 218 14 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [get fuzzy__lecture 173 13 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [set_undefined fuzzy__lecture__memory_resident 225 14 none]
G r c none [set_undefined fuzzy__lecture__cache 304 14 none] [set_undefined fuzzy__lecture__memory_resident 212 14 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [set_undefined fuzzy__lecture__memory_resident 199 14 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [set_undefined fuzzy__lecture__cache 310 14 none] [get fuzzy__lecture 173 13 none]
G r c none [write fuzzy__lecture__cache 323 14 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [write fuzzy__lecture__cache 323 14 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [write fuzzy__lecture__cache 323 14 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [write fuzzy__lecture__cache 323 14 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [write fuzzy__lecture__cache 323 14 none] [get fuzzy__lecture 173 13 none]
G r c none [allocate fuzzy__lecture__cache 367 13 none] [get_features_number fuzzy__lecture__connotated 258 13 none]
G r c none [allocate fuzzy__lecture__cache 367 13 none] [get_feature fuzzy__lecture__connotated 214 13 none]
G r c none [allocate fuzzy__lecture__cache 367 13 none] [ptr fuzzy__feature__handle 221 13 none]
G r c none [allocate fuzzy__lecture__cache 367 13 none] [is_defined fuzzy__lecture__memory_resident 123 13 none]
G r c none [allocate fuzzy__lecture__cache 367 13 none] [get fuzzy__lecture 173 13 none]
G r e connotated_lecture_object [caching_lecture_objectDF fuzzy__lecture__cache 346 9 none] [finalize fuzzy__lecture__connotated 210 14 none]
G r k connotated_lecture_object [caching_lecture_objectDF fuzzy__lecture__cache 346 9 none] [connotated_lecture_objectDF fuzzy__lecture__connotated 143 9 none]
G r k general_lecture_object [caching_lecture_objectDF fuzzy__lecture__cache 346 9 none] [general_lecture_objectDF fuzzy__lecture__memory_resident 81 9 none]
G r f lecture_object [caching_lecture_objectDI fuzzy__lecture__cache 346 9 none] [initialize fuzzy__lecture 288 14 none]
G r s connotated_lecture_object [caching_lecture_objectIP fuzzy__lecture__cache 346 9 none] [connotated_lecture_objectIP fuzzy__lecture__connotated 143 9 none]
G r s general_lecture_object [caching_lecture_objectIP fuzzy__lecture__cache 346 9 none] [general_lecture_objectIP fuzzy__lecture__memory_resident 81 9 none]
G r l general_lecture_object [caching_lecture_objectIP fuzzy__lecture__cache 346 9 none] [general_lecture_objectDI fuzzy__lecture__memory_resident 81 9 none]
X 1 ada.ads
18K9*Ada 22e8 26|61r6 27|28r6 28r32 29r6 29r32
X 4 a-except.ads
44K13*Exceptions 309e19 27|28w10 28r36
80U14*Raise_Exception 27|122s10
X 5 a-finali.ads
40K13*Finalization 68e21 26|61w10
X 6 a-ioexce.ads
16K13*IO_Exceptions 28e22 27|29w10 29r36
X 15 confidence_factors.ads
54O9*Confidence
X 18 fuzzy.ads
68K9*Fuzzy 519e10 26|57r6 57r42 58r6 58r42 59r6 59r42 64r9 65r27 399r5 27|30r6
. 30r32 32r14 481r5
70A9*Set(15|54O9)<integer> 26|115r27 172r23 202r27 229r23 262r27 27|83r27
. 135r23 290r27
X 19 fuzzy-feature.ads
57E9*Image_Type 57e62 26|114r27 133r27 171r26 181r26 191r26 201r27 209r27
. 228r26 246r26 261r27 292r27 27|82r27 93r27 134r26 200r26 233r26 289r27
. 311r27 333r27 368r26 447r29
72I9*Feature_ID<integer>
73R9*Feature_Object 26|113r27 132r27 170r26 180r26 190r26 200r27 208r27 227r26
. 245r26 260r27 272r27 291r27 307r27 312r27 27|81r27 92r27 133r26 199r26
. 232r26 288r27 310r27 332r27 365r23 400r27 423r27 441r23
85P9*Feature_Object_Ptr(87R9)
X 20 fuzzy-feature-handle.ads
221V13*Ptr{19|85P9}<49|88p13> 27|366s23 442s23
X 24 fuzzy-lecture.ads
50K15*Lecture 18|68k9 24|678e18 26|57r12 57r48 58r12 58r48 59r12 59r48 64r15
. 65r33 399r11 27|30r12 30r38 32r20 481r11
79U14*Begin_Bulk_Update
118U14*End_Bulk_Update
173V13*Get{18|70A9} 27|454s25
218y13*Get_Examples_Number{natural}
288U14*Initialize<42|119p14> 27|193s7
436U14*Query
X 25 fuzzy-lecture-block.ads
34K23*Block 187e24 27|30w20 30r46
44n26*Uncertain{44E9} 27|142r62 154r10 208r62 221r10 241r62 254r10 298r57
. 320r57 407r57
44n37*Undefined{44E9} 27|101r10 351r13 389r22 417r10
X 26 fuzzy-lecture-cache.ads
64K23*Cache 24|50k15 26|65r41 326E9 399l19 399e24 27|32b28 481l19 481t24
70i4*Default_Cache_Size{positive}
72I9*Cache_Index<integer> 78r40 112r27 131r27 293r27 298r27 328r59 332r35
. 338r18 339r18 342r24 346r40 370r26 371r23 385r23 389r25 390r25 27|50r26
. 51r23 52r16 80r27 91r27 109r30 136r15 164r23 202r15 235r15 263r25 264r25
. 269r30 270r30 276r28 292r15 314r15 334r27 359r27 402r15 438r23 464r17 465r17
78H9*Caching_Lecture_Object<28|143R9> 24|79p14 118p14 218p13 436p14 26|78d33
. 96r25 111r34 130r34 143p14 143r36 153P14 153r40 162P14 162r42 167P13 168r26
. 177P13 178r26 187P13 188r26 197P14 198r34 205P14 206r34 224p13 225r26 242p13
. 243r26 257p14 258r34 270p14 271r34 288p14 289r34 295p14 296r34 304P14 305r34
. 310P14 311r34 323p14 323r37 346c9 349r31 350r25 355e14 367p13 368r26 382p13
. 383r26 27|48r26 72r25 79r34 90r34 105r36 118r40 131r26 162r26 169r42 197r26
. 230r26 286r34 308r34 330r34 357r34 398r34 422r34 431r37 28|177p13 214P13
. 252P13 258P13 267P14 275P13 281P14 42|58p14 84p13 89p13 113p14 43|321p13
. 525p14 62|46p14
78i33*Size{72I9} 346r33 354r25
95V13*Cache_Get_Examples_Number{natural} 96>16 27|71b13 76l8 76t33
96c16 Lesson<78R9> 27|72b16 75r14
110U14*Cache_Put 111=17 112>17 113>17 114>17 115>17 394r19 27|78b14 87l8
. 87t17
111c17 Lesson<78R9> 27|79b17 86m12 86r12
112i17 Index{72I9} 27|80b17 86r36
113c17 Feature<19|87R9> 27|81b17 86r44
114e17 Image{19|57E9} 27|82b17 86r53
115a17 Value{18|70A9} 27|83b17 86r60
129U14*Cache_Set_Undefined 130=17 131>17 132>17 133>17 395r19 27|89b14 103l8
. 103t27
130c17 Lesson<78R9> 27|90b17 97m10 97r10
131i17 Index{72I9} 27|91b17 98r20
132c17 Feature<19|87R9> 27|92b17 99r10
133e17 Image{19|57E9} 27|93b17 100r10
143U14*Drop 143=20 27|105b14 116l8 116t12
143r20 Lesson{78R9} 27|105b20 109r45 112m18 112r18 112r36 113m19 113r19
153U14*Finalize<28|210p14> 153=24 27|118b14 128l8 128t16
153r24 Lesson{78R9} 27|118b24 120r10 127m44 127r44
162U14*Initialize<24|288p14> 162=26 27|169b14 194l8 194t18
162r26 Lesson{78R9} 27|169b26 172m40 172r40 178m40 178r40 183r23 185m43 185r43
. 191m7 191r21 192m7 192r41 193m46 193r46
167V13*Get{18|70A9}<24|199p13> 168>16 169>16 170>16 171>16 27|130b13 159l8
. 159t11
168r16 Lesson{78R9} 27|131b16 136r41 138m7 138r7 138r40 141r29 142r25 143r16
. 144r22 146r10 148r16 151r16 153r22 156r16 158r19
169i16 Example{positive} 27|132b16 136r49 138r58 141r37 143r33 156r33
170c16 Feature<19|87R9> 27|133b16 143r42 144r54 153r54 156r42 158r51
171e16 Image{19|57E9} 27|134b16 143r51 144r63 153r63 156r51 158r60
177V13*Is_Defined{boolean}<24|311p13> 178>16 179>16 180>16 181>16 27|196b13
. 227l8 227t18
178r16 Lesson{78R9} 27|197b16 202r41 204m7 204r7 204r40 207r29 208r25 209r16
. 211r25 213r10 215r16 218r16 220r22 223r16 226r22
179i16 Example{positive} 27|198b16 202r49 204r58 207r37 209r33 223r33
180c16 Feature<19|87R9> 27|199b16 209r42 211r57 220r54 223r42 226r54
181e16 Image{19|57E9} 27|200b16 209r51 211r66 220r63 223r51 226r63
187V13*Is_Known{boolean}<24|363p13> 188>16 189>16 190>16 191>16 27|229b13
. 259l8 259t16
188r16 Lesson{78R9} 27|230b16 235r41 237m7 237r7 237r40 240r29 241r25 242r16
. 244r23 246r10 248r16 251r16 253r22 256r16 258r24
189i16 Example{positive} 27|231b16 235r49 237r58 240r37 242r33 256r33
190c16 Feature<19|87R9> 27|232b16 242r42 244r55 253r54 256r42 258r56
191e16 Image{19|57E9} 27|233b16 242r51 244r64 253r63 256r51 258r65
197U14*Put<24|387p14> 198=17 199>17 200>17 201>17 202>17 27|285b14 305l8
. 305t11
198r17 Lesson{78R9} 27|286b17 292r41 294m7 294r35 297r29 298m25 298r25 301m16
. 301r16 303m7 304m12 304r12
199i17 Example{positive} 27|287b17 292r49 294r48 297r37 303r40
200c17 Feature<19|87R9> 27|288b17 304r44
201e17 Image{19|57E9} 27|289b17 304r53
202a17 Value{18|70A9} 27|290b17 304r60
205U14*Put<24|410p14> 206=17 207>17 208>17 209>17 210>17 27|307b14 327l8
. 327t11
206r17 Lesson{78R9} 27|308b17 314r41 316m7 316r35 319r29 320m25 320r25 323m16
. 323r16 325m7 326m12 326r12
207i17 Example{positive} 27|309b17 314r49 316r48 319r37 325r40
208c17 Feature<19|87R9> 27|310b17 326r44
209e17 Image{19|57E9} 27|311b17 326r53
210i17 Value{positive} 27|312b17 326r60
224y13*Raw_Get{18|70A9} 225>16 226>16 227>16 228>16 27|343R13 381R22
225r16 Lesson{78R9}
226i16 Example{positive}
227c16 Feature<19|87R9>
228e16 Image{19|57E9}
242y13*Raw_Is_Defined{boolean} 243>16 244>16 245>16 246>16 27|337R10 369R19
243r16 Lesson{78R9}
244i16 Example{positive}
245c16 Feature<19|87R9>
246e16 Image{19|57E9}
257x14*Raw_Put 258=17 259>17 260>17 261>17 262>17 27|449R22
258r17 Lesson{78R9}
259i17 Example{positive}
260c17 Feature<19|87R9>
261e17 Image{19|57E9}
262a17 Value{18|70A9}
270x14*Raw_Set_Undefined 271=17 272>17 27|428R7
271r17 Lesson{78R9}
272c17 Feature<19|87R9>
288U14*Read 289=17 290>17 291>17 292>17 293>17 27|143R10 156R10 209R10 223R10
. 242R10 256R10 329b14 354l8 354t12
289r17 Lesson{78R9} 27|330b17 337r26 339m13 339r13 343r22 347m13 347r13
290i17 Example{positive} 27|331b17 337r43 343r39
291c17 Feature<19|87R9> 27|332b17 337r52 341r13 343r48 349r13
292e17 Image{19|57E9} 27|333b17 337r61 342r13 343r57 350r13
293i17 Index{72I9} 27|334b17 340r23 348r23
295U14*Read 296=17 297>17 298>17 27|356b14 395l8 395t12
296r17 Lesson{78R9} 27|357b17 363r45 366r41 370r22 377m22 377r22 381r31 385m22
. 385r22
297i17 Example{positive} 27|358b17 371r22 381r48
298i17 Index{72I9} 27|359b17 361r43
304U14*Set_Undefined<24|458p14> 305=17 306>17 307>17 27|397b14 419l8 419t21
305r17 Lesson{78R9} 27|398b17 402r41 406r29 407m25 407r25 410m16 410r16 412m7
. 414m10 414r10
306i17 Example{positive} 27|399b17 402r49 406r37 412r40
307c17 Feature<19|87R9> 27|400b17 416r10
310U14*Set_Undefined<24|463p14> 311=17 312>17 27|421b14 429l8 429t21
311r17 Lesson{78R9} 27|422b17 426m22 426r22 427r14 428r26
312c17 Feature<19|87R9> 27|423b17 426r36 428r43
323U14*Write 323=21 27|62R10 427R7 431b14 479l8 479t13
323r21 Lesson{78R9} 27|431b21 433r10 436r45 438r38 442r41 445r31 448r34 450r25
. 454m30 454r30 458r25 464r32 469m49 469r49 473m22 473r22
326R9 Cached_Example 327r42 337c9 341e14 342r49 27|172r17 178r17 185r20 266r14
. 469r26
327P9 Cached_Example_Ptr(326R9)
328A9 Cache_Index_Array(72I9)<integer> 333r35
329K12 Example_To_Cache_Index_Mapping[35|63] 336r8
337R9 Cached_Example
338i7*Previous{72I9} 27|57r34 59r41 63r41 120r31 174m15 180m15 187m18 192m29
. 270r50 273m23 279m15 281m25
339i7*Next{72I9} 27|54r32 56r42 109r66 175m15 181m15 188m18 191m40 269r50
. 272m27 276r57 278m15 280m24 433r31 438r59 458r46 464r53 472r32
340i7*Example{integer} 27|67m34 112r57 146r31 213r31 246r31 303m28 325m28
. 412m28 445r52 471m24 471r47
342A9 Tags(337R9)<72I9> 354r15 388r32 27|262r32
349p7 Self(78R9) 27|62r24 65m20 66r19 67r14 138r14 138r47 142r32 143r23 148m23
. 151m23 156r23 204r14 204r47 208r32 209r23 215m23 218m23 223r23 237r14 237r47
. 241r32 242r23 248m23 251m23 256r23 337r33 343r29 370r29 381r38 427r21 428r33
. 450r32
351r7 Cache{31|81R9} 27|86m19 97m17 142m37 144r29 153r29 158r26 208m37 211r32
. 220r29 226r29 241m37 244r30 253r29 258r31 298m32 304m19 320m32 326m19 339m20
. 347m20 363r52 366r48 377m29 385m29 407m32 414m17 426m29 436r52 442r48 448r41
. 454m37
352i7 Rows{natural} 27|75r21 138m19 138r52 204m19 204r52 237m19 237r52 294m14
. 294r42 316m14 316r42
353r7 Index{35|65R9[329]} 27|66m24 112m25 166r28
354a7 Flags{342A9} 27|54r17 56r27 57r20 59r27 63r27 65m25 67m19 109r52 112r43
. 113m26 120r17 146r17 148m28 151m28 172m47 178m47 183r30 185m50 191m14 191r28
. 192m14 192r48 213r17 215m28 218m28 246r17 248m28 251m28 301m23 303m14 323m23
. 325m14 410m23 412m14 433r17 438r45 445r38 458r32 464r39 469m56 473m29
367V13 Allocate{72I9} 368>16 369>16 370>16 393r19 27|47b13 69l8 69t16 141s19
. 207s19 240s19 297s19 319s19 406s19
368r16 Lesson{78R9} 27|48b16 54r10 56r20 57r13 59r20 62r17 63r20 65r13 66r12
. 67m7 67r7
369i16 Example{positive} 27|49b16 66r31 67r45
370i16 List{72I9} 27|50b16 65r40
382V13 Get_Index{72I9} 383>16 384>16 396r19 27|136s30 161b13 167l8 167t17
. 202s30 235s30 292s30 314s30 402s30
383r16 Lesson{78R9} 27|162b16 166r21
384i16 Example{positive} 27|163b16 166r35
387U14 Move 388=17 389>17 390>17 397r19 27|65s7 113s13 148s10 151s10 215s10
. 218s10 248s10 251s10 261b14 283l8 283t12 301s10 323s10 410s10 473s16
388a17 Flags{342A9} 27|262b17 266m37 266r37 272m10 273m10 276r43 280m10 281m10
389i17 Item{72I9} 27|263b17 266r44 280r37 281r37
390i17 After{72I9} 27|264b17 276r50 279r27 280r17
X 27 fuzzy-lecture-cache.adb
34N4 Clean 57r27 57r46 59r34 63r34 141r46 148r42 178r54 180r27 181r27 207r46
. 215r42 240r46 248r42 473r42
35N4 Dirty 109r59 111r31 120r24 120r43 151r42 172r54 174r27 175r27 218r42
. 251r42 297r46 301r37 319r46 323r37 406r46 410r37 433r24 433r38 438r52 459r34
. 464r46 474r33
36N4 Unused 54r24 54r40 56r34 113r40 191r48 192r21
52i7 Result{26|72I9} 56m10 59m10 63m10 65r32 66r40 67r26 68r14
109i13 Index{26|72I9} 111r23 112r50 113r33
136i7 Index{26|72I9} 139r10 141m10 142r54 143r58 144r46 146r24 148r35 151r35
. 153r46 156r58 158r43
172r10 This{26|337R9} 174r10 175r10
178r10 This{26|337R9} 180r10 181r10
183i11 Index<integer> 185r57 187r30 188r30
185r13 This{26|337R9} 187r13 188r13
202i7 Index{26|72I9} 205r10 207m10 208r54 209r58 211r49 213r24 215r35 218r35
. 220r46 223r58 226r46
235i7 Index{26|72I9} 238r10 240m10 241r54 242r58 244r47 246r24 248r35 251r35
. 253r46 256r58 258r48
266r7 This=266:37{26|337R9} 269r45 270r45 278r10 279r10
269i10 Next{26|72I9} 272r35 273r17
270i10 Previous{26|72I9} 272r17 273r35
276i10 Before{26|72I9} 278r27 281r17
292i7 Index{26|72I9} 295r10 297m10 298r49 301r30 303r21 304r36
314i7 Index{26|72I9} 317r10 319m10 320r49 323r30 325r21 326r36
361i7 No{positive} 378r22 386r22
363i11 Column{integer} 366r55
365c13 Feature<19|87R9> 372r22 379r22 381r57 387r22
368e17 Image{19|57E9} 373r22 380r22 381r66 388r22
402i7 Index{26|72I9} 404r10 406m10 407r49 410r30 412r21 415r20
436i11 Column{integer} 442r55
438i13 Index{26|72I9} 445r45 446r37 458m16 458r39 459r26
439i13 Example{positive} 445m16 451r25
440i13 No{positive} 446m16 448r48 454r51
441c13 Feature<19|87R9> 448r52 452r25 454r55
447e20 Image{19|57E9} 448r61 453r25 454r64
464i10 This{26|72I9} 469r63 473r36 475m16
465i10 Next{26|72I9} 472m16 474r26 475r24
469r16 Current{26|337R9} 471r16 471r39 472r24
X 28 fuzzy-lecture-connotated.ads
55K23*Connotated 26|57w20 57r56 28|289e29
60R9*Connotated_Lecture_Object 26|79r20 347r20 27|127r17 193r19
177y13*Add_Feature{49|41R9[124]}
210U14*Finalize<24|124p14> 27|127s7
214V13*Get_Feature{20|45R9}<24|235p13> 27|366s28 442s28
252V13*Get_Features{22|31R9}<24|255p13>
258V13*Get_Features_Number{natural}<24|273p13> 27|363s24 436s24
267U14*Get_Referents<43|338p14>
275V13*Is_Modified{boolean}<43|413p13>
281U14*Reset_Modified<43|433p14>
X 30 fuzzy-lecture-handle.ads
51K23*Handle 26|58w20 58r56 30|527e25
X 31 fuzzy-lecture-memory_resident.ads
38K23*Memory_Resident 26|59w20 59r56 31|243e34
47R9*General_Lecture_Object 26|351r23
102V13*Get{18|70A9}<24|199p13> 27|144s17 158s14
123V13*Is_Defined{boolean}<24|311p13> 27|211s13 226s10 448s22
141V13*Is_Defined{25|44E9} 27|153s10 220s10 253s10
151V13*Is_Known{boolean}<24|363p13> 27|244s13 258s14
161U14*Put<24|387p14> 27|86s7 304s7 338s10 376s19
172U14*Put<24|410p14> 27|326s7
199U14*Set_Undefined<24|463p14> 27|426s7
212U14*Set_Undefined 27|413s7
218U14*Set_Undefined 27|96s7 346s10 384s19
225U14*Set_Undefined 27|142s10 208s10 241s10 298s10 320s10 407s10
X 33 generic_segmented_stack.ads
65+9 Object_Type
84V13*Get{65+9} 34|51i18
89U14*Put 34|55i19
X 35 generic_unbounded_array.ads
57E9 Index_Type 26|331r14
58+9 Object_Type 26|332r14
59A9 Object_Array_Type(58+9)<57E9> 26|333r14
60*4 Null_Element{58+9} 26|334r14
63k9*Generic_Unbounded_Array 26|62w6 330r11 35|140e28
65R9 Unbounded_Array<5|50R9> 26|353r15[329]
97V13*Fetch{26|72I9} 27|166s14[26|329]
131U14*Put 27|66s7[26|329] 112s13[26|329]
X 42 object.ads
58U14*Decrement_Count
84V13*Equal{boolean}
89V13*Less{boolean}
113U14*Increment_Count
X 43 object-archived.ads
86P9*Deposit_Ptr(85R9)
321y13*Get_Class{string}
525x14*Store
X 49 object-handle.ads
41R9 Handle<5|43R9>
X 56 stack_storage-mark_and_release.ads
62R9*Pool_Object<5|50R9>
X 62 s-finroo.ads
46U14*Adjust

