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_FIXED_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U parsers.fcl.code.logic.intuitionistic%b  parsers-fcl-code-logic-intuitionistic.adb  2678cae6 OO PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W confidence_factors%s	confidence_factors.adb	confidence_factors.ali
W confidence_factors.edit%s  confidence_factors-edit.adb  confidence_factors-edit.ali
W parsers%s		parsers.ads		parsers.ali
W parsers.fcl%s		parsers-fcl.adb		parsers-fcl.ali
W parsers.fcl.code%s	parsers-fcl-code.adb	parsers-fcl-code.ali
W parsers.fcl.code.logic%s  parsers-fcl-code-logic.adb  parsers-fcl-code-logic.ali
W parsers.fcl.code.logic.plain%s  parsers-fcl-code-logic-plain.adb  parsers-fcl-code-logic-plain.ali
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
Z system.storage_elements%s  s-stoele.ads	s-stoele.ali

U parsers.fcl.code.logic.intuitionistic%s  parsers-fcl-code-logic-intuitionistic.ads  684140c5 EE OO PF PK
Z ada.exceptions%s	a-except.adb		a-except.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W parsers.fcl.code.logic%s  parsers-fcl-code-logic.adb  parsers-fcl-code-logic.ali
Z system%s		system.ads		system.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.return_stack%s	s-retsta.ads		s-retsta.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.stream_attributes%s  s-stratt.adb	s-stratt.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-strsea.ads		20260103192500 18c3c634 ada.strings.search%s
D a-sttebu.ads		20260103192500 f1ad67a2 ada.strings.text_buffers%s
D a-strunb.ads		20260103192500 b10770ab ada.strings.unbounded%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 confidence_factors-edit.ads  20260329112858 1dc837f4 confidence_factors.edit%s
D deposit_handles.ads	20260329112621 7f4f1e3e deposit_handles%s
D fuzzy.ads		20260329112858 63ef6a46 fuzzy%s
D fuzzy-abstract_edit.ads  20260329112858 9f75fc2e fuzzy.abstract_edit%s
D fuzzy-abstract_edit-named.ads  20260329112858 72706f53 fuzzy.abstract_edit.named%s
D fuzzy-feature.ads	20260329113041 07049590 fuzzy.feature%s
D fuzzy-feature-data.ads  20260329113041 84d5ae55 fuzzy.feature.data%s
D fuzzy-feature-domain_floats.ads  20260329113041 f9ae9068 fuzzy.feature.domain_floats%s
D fuzzy-feature-domain_integers.ads  20260329113041 1203c8f7 fuzzy.feature.domain_integers%s
D fuzzy-feature-generic_domain_float.ads  20260329113041 cbec23e7 fuzzy.feature.generic_domain_float%s
D fuzzy-feature-generic_domain_integer.ads  20260329113041 c2dee3a3 fuzzy.feature.generic_domain_integer%s
D fuzzy-feature-generic_independent.ads  20260329113041 25ab21bb fuzzy.feature.generic_independent%s
D fuzzy-feature-handle.ads  20260329113041 8e645b0e fuzzy.feature.handle%s
D fuzzy-floats.ads	20260329112858 4da08941 fuzzy.floats%s
D fuzzy-generic_edit.ads  20260329112858 7bfc3b62 fuzzy.generic_edit%s
D fuzzy-index_map.ads	20260329112858 4fb44380 fuzzy.index_map%s
D fuzzy-integers.ads	20260329112858 65571c92 fuzzy.integers%s
D fuzzy-intuitionistic.ads  20260329112858 8a7ec066 fuzzy.intuitionistic%s
D fuzzy-linguistics.ads	20260329112858 4f46bea0 fuzzy.linguistics%s
D fuzzy-linguistics-edit.ads  20260329112858 0dbc1862 fuzzy.linguistics.edit%s
D fuzzy-linguistics-sets.ads  20260329112858 b044b6a6 fuzzy.linguistics.sets%s
D fuzzy-linguistics-sets-edit.ads  20260329112858 7e2fa638 fuzzy.linguistics.sets.edit%s
D fuzzy-linguistics-variables_edit.ads  20260329112858 476c605a fuzzy.linguistics.variables_edit%s
D fuzzy-logic.ads	20260329112858 4477a529 fuzzy.logic%s
D fuzzy-logic.adb	20260329112858 1782d185 fuzzy.logic%b
D fuzzy-measures.ads	20260329112858 a3b9e436 fuzzy.measures%s
D fuzzy-measures-linguistics.ads  20260329112858 6c6a0066 fuzzy.measures.linguistics%s
D fuzzy-measures-linguistics-sets.ads  20260329112858 508b6fb6 fuzzy.measures.linguistics.sets%s
D fuzzy-numbers.ads	20260329112858 bb16ab0f fuzzy.numbers%s
D generic_segmented_stack.ads  20260329112621 9eb6a57e generic_segmented_stack%s
D generic_set.ads	20260329112621 a964927e generic_set%s
D generic_stack.ads	20260329112621 27957c0e generic_stack%s
D generic_unbounded_array.ads  20260329112621 afe23ff9 generic_unbounded_array%s
D generic_unbounded_ptr_array.ads  20260329112621 c587f3a9 generic_unbounded_ptr_array%s
D interfac.ads		20260103192500 9111f9c1 interfaces%s
D i-c.ads		20260103192500 e94c966a interfaces.c%s
D intervals.ads		20260329112840 b2136870 intervals%s
D intervals-floats.ads	20260329112840 d8c7baa6 intervals.floats%s
D intervals-integers.ads  20260329112840 9a0bc783 intervals.integers%s
D intervals-measures.ads  20260329112840 63b44401 intervals.measures%s
D measures.ads		20260329112806 f017d407 measures%s
D measures_derived.ads	20260329112806 ae17b6b8 measures_derived%s
D measures_irregular.ads  20260329112806 f7cfad57 measures_irregular%s
D measures_universal_edit.ads  20260329112806 6c9ad6de measures_universal_edit%s
D measures_utf8_edit.ads  20260329112806 5d36f100 measures_utf8_edit%s
D name_tables.ads	20260329112858 44c28c83 name_tables%s
D object.ads		20260329112621 83d4bb8e object%s
D object-archived.ads	20260329112621 4878d960 object.archived%s
D object-archived-handle.ads  20260329112621 deff83d9 object.archived.handle%s
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_set.ads  20260329112621 4416ab7e object.handle.generic_set%s
D parsers.ads		20260329112621 314de56d parsers%s
D parsers-fcl.ads	20260329113041 8ec1694c parsers.fcl%s
D parsers-fcl-code.ads	20260329113041 f18d8bea parsers.fcl.code%s
D parsers-fcl-code-logic.ads  20260329113041 bb87d85e parsers.fcl.code.logic%s
D parsers-fcl-code-logic-intuitionistic.ads  20260329113041 d3c6989b parsers.fcl.code.logic.intuitionistic%s
D parsers-fcl-code-logic-intuitionistic.adb  20260329113041 1c93d10a parsers.fcl.code.logic.intuitionistic%b
D parsers-fcl-code-logic-plain.ads  20260329113041 290256cd parsers.fcl.code.logic.plain%s
D parsers-generic_argument.ads  20260329112621 2ce2a9b8 parsers.generic_argument%s
D parsers-generic_argument-segmented_stack.ads  20260329112621 a722f62a parsers.generic_argument.segmented_stack%s
D parsers-generic_lexer.ads  20260329112621 40479bc2 parsers.generic_lexer%s
D parsers-generic_operation.ads  20260329112621 414c132c parsers.generic_operation%s
D parsers-generic_operation-generic_stack.ads  20260329112621 1f7d2b85 parsers.generic_operation.generic_stack%s
D parsers-generic_operation-segmented_stack.ads  20260329112621 0bcee943 parsers.generic_operation.segmented_stack%s
D parsers-generic_source.ads  20260329112621 ba1660e7 parsers.generic_source%s
D parsers-generic_token.ads  20260329112621 25f04bbc parsers.generic_token%s
D parsers-generic_token-generic_token_lexer.ads  20260329112621 59a987e3 parsers.generic_token.generic_token_lexer%s
D parsers-generic_token-segmented_lexer.ads  20260329112621 abab8bac parsers.generic_token.segmented_lexer%s
D parsers-multiline_source.ads  20260329112621 9a2c6e4b parsers.multiline_source%s
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 strings_edit-float_edit.ads  20260329112426 b2635a50 strings_edit.float_edit%s
D strings_edit-integer_edit.ads  20260329112426 bd787de3 strings_edit.integer_edit%s
D strings_edit-lexicographical_order.ads  20260329112426 8d7febff strings_edit.lexicographical_order%s
D strings_edit-utf8.ads	20260329112426 93428e4e strings_edit.utf8%s
D strings_edit-utf8-categorization.ads  20260329112426 2f48b3d6 strings_edit.utf8.categorization%s
D strings_edit-utf8-mapping.ads  20260329112426 28f980c5 strings_edit.utf8.mapping%s
D strings_edit-utf8-maps.ads  20260329112426 e8af668b strings_edit.utf8.maps%s
D strings_edit-utf8-maps-constants.ads  20260329112426 b7af4f4a strings_edit.utf8.maps.constants%s
D system.ads		20260103192500 14286b0f system%s
D s-atocou.ads		20260103192500 dc18efc3 system.atomic_counters%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-stratt.adb		20260103192500 c8964632 system.stream_attributes%b
D s-statxd.ads		20260103192500 b54789f6 system.stream_attributes.xdr%s
D s-string.ads		20260103192500 582aac7d system.strings%s
D s-ststop.ads		20260103192500 c569db7c system.strings.stream_ops%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 tables-utf8_names.ads	20260329112621 bacf32df tables.utf8_names%s
D units.ads		20260329112806 b176e102 units%s
D units-base.ads	20260329112806 140f965e units.base%s
G a e
G c Z s b [get_logical parsers__fcl__code__logic__intuitionistic 45 13 none]
G c Z s b [image parsers__fcl__code__logic__intuitionistic 53 13 none]
G c Z s b [eq parsers__fcl__code__logic__intuitionistic 62 13 none]
G c Z s b [get_preference parsers__fcl__code__logic__intuitionistic 69 13 none]
G c Z s b [logical_and parsers__fcl__code__logic__intuitionistic 71 13 none]
G c Z s b [logical_not parsers__fcl__code__logic__intuitionistic 78 13 none]
G c Z s b [logical_or parsers__fcl__code__logic__intuitionistic 83 13 none]
G c Z s b [logical_xor parsers__fcl__code__logic__intuitionistic 90 13 none]
G c Z s b [Onot parsers__fcl__code__logic__intuitionistic 97 13 none]
G c Z s b [to_truth_value parsers__fcl__code__logic__intuitionistic 107 13 none]
G c Z s s [truth_valueDA parsers__fcl__code__logic__intuitionistic 32 9 none]
G c Z s s [truth_valueDF parsers__fcl__code__logic__intuitionistic 32 9 none]
G c Z s s [truth_valueIP parsers__fcl__code__logic__intuitionistic 32 9 none]
G c Z b b [to_truth parsers__fcl__code__logic__intuitionistic 46 13 none]
G r c none [get_logical parsers__fcl__code__logic__intuitionistic 45 13 none] [get_lattice parsers__fcl__code 368 13 none]
G r c none [get_logical parsers__fcl__code__logic__intuitionistic 45 13 none] [image parsers__multiline_source 160 13 none]
G r c none [image parsers__fcl__code__logic__intuitionistic 53 13 none] [image confidence_factors__edit 116 13 none]
G r c none [eq parsers__fcl__code__logic__intuitionistic 62 13 none] [Oconcat parsers__multiline_source 149 13 none]
G r c none [eq parsers__fcl__code__logic__intuitionistic 62 13 none] [image parsers__multiline_source 160 13 none]
G r c none [eq parsers__fcl__code__logic__intuitionistic 62 13 none] [Oxor fuzzy__logic 154 13 none]
G r c none [eq parsers__fcl__code__logic__intuitionistic 62 13 none] [Onot fuzzy__logic 102 13 none]
G r c none [logical_and parsers__fcl__code__logic__intuitionistic 71 13 none] [Oconcat parsers__multiline_source 149 13 none]
G r c none [logical_and parsers__fcl__code__logic__intuitionistic 71 13 none] [image parsers__multiline_source 160 13 none]
G r c none [logical_and parsers__fcl__code__logic__intuitionistic 71 13 none] [Oand fuzzy__logic 118 13 none]
G r c none [logical_not parsers__fcl__code__logic__intuitionistic 78 13 none] [Oconcat parsers__multiline_source 149 13 none]
G r c none [logical_not parsers__fcl__code__logic__intuitionistic 78 13 none] [Onot fuzzy__logic 102 13 none]
G r c none [logical_or parsers__fcl__code__logic__intuitionistic 83 13 none] [Oconcat parsers__multiline_source 149 13 none]
G r c none [logical_or parsers__fcl__code__logic__intuitionistic 83 13 none] [image parsers__multiline_source 160 13 none]
G r c none [logical_or parsers__fcl__code__logic__intuitionistic 83 13 none] [Oor fuzzy__logic 136 13 none]
G r c none [logical_xor parsers__fcl__code__logic__intuitionistic 90 13 none] [Oconcat parsers__multiline_source 149 13 none]
G r c none [logical_xor parsers__fcl__code__logic__intuitionistic 90 13 none] [image parsers__multiline_source 160 13 none]
G r c none [logical_xor parsers__fcl__code__logic__intuitionistic 90 13 none] [Oxor fuzzy__logic 154 13 none]
G r c none [Onot parsers__fcl__code__logic__intuitionistic 97 13 none] [Onot fuzzy__logic 102 13 none]
G r s logical [to_truth_value parsers__fcl__code__logic__intuitionistic 107 13 none] [logicalIP parsers__fcl__code__logic 34 9 none]
G r s logical [truth_valueIP parsers__fcl__code__logic__intuitionistic 32 9 none] [logicalIP parsers__fcl__code__logic 34 9 none]
G r c none [to_truth parsers__fcl__code__logic__intuitionistic 46 13 none] [image parsers__multiline_source 160 13 none]
X 1 ada.ads
18K9*Ada 22e8 77|28r6 28r36
X 4 a-except.ads
44K13*Exceptions 309e19 77|28w10 28r40
80U14*Raise_Exception 77|59s10
X 14 a-tags.ads
653V13 CW_Membership{boolean} 77|49s15 50s28 51s18 54s38
X 17 confidence_factors.ads
43K9*Confidence_Factors 183e23 77|29w6 29r36 30r6 30r36
54O9*Confidence 77|53r30
X 18 confidence_factors-edit.ads
30K28*Edit 118e28 77|30w25 30r55
116V13*Image{string} 77|105s17 108s13 110s13
X 23 fuzzy-feature.ads
72I9*Feature_ID<integer>
X 27 fuzzy-feature-generic_domain_float.ads
58F9 Domain_Number
X 28 fuzzy-feature-generic_domain_integer.ads
48I9 Number
X 29 fuzzy-feature-generic_independent.ads
34H9 Feature_Type<23|87R9>
X 30 fuzzy-feature-handle.ads
45R9*Feature_Handle<69|41R9[23|752]> 408e62 76|54r26 77|99r26
X 36 fuzzy-linguistics.ads
820V14 "="{boolean} 48|57i19[44|34]
821V14 "<"{boolean} 48|56i19[27|86[25|35]]
X 41 fuzzy-logic.ads
61R9*Fuzzy_Boolean 64e14 76|33r15 77|47r14
62o7*Possibility{17|54O9} 77|104r21 105r35 110r31
63o7*Necessity{17|54O9} 77|104r46 108r31
102V14*"not"{61R9} 77|89s13 134s53 167s30
118V14*"and"{61R9} 77|125s24
136V14*"or"{61R9} 77|147s24
154V14*"xor"{61R9} 77|89s29 161s24
X 47 generic_segmented_stack.ads
65+9 Object_Type
84V13*Get{65+9} 49|51i18
89U14 Put 49|55i19[84|43]
X 49 generic_stack.ads
89V13 Get{82|98R9} 83|51i18[47|97[84|43]]
103V13 Is_Empty{boolean} 83|55i18[47|97[84|43]]
117V13 Mark{84|42I9[88|97]} 83|57i18[47|97[84|43[88|97]]]
127U14 Pop 83|59i19[47|97[84|43]]
135U14 Push 83|63i19[47|97[84|43]]
154U14 Put 83|67i19[47|97[84|43]]
183V13 Top{82|98R9} 83|72i18[47|97[84|43]]
X 50 generic_unbounded_array.ads
65R9 Unbounded_Array<5|50R9>
118V13 Get{80|80I9} 49|51i18[80|98]
131U14 Put 49|55i19[80|98[88|89]]
X 55 intervals-floats.ads
48F9 Number
51R9 Interval
94V13 From{48F9[57|42[43|47]]} 46|61i18[57|42[43|47]]
105V13 Is_In{boolean} 46|62i18[57|42[43|47]]
106V13 Is_In{boolean} 46|63i18[31|45]
155V13 To{48F9[57|42[43|47]]} 46|65i18[57|42[43|47]]
165V13*To_Interval{51R9[27|65[25|35]]} 46|66i18[27|65[25|35]]
180V13*To_Interval{51R9[27|65[25|35]]} 46|67i18[27|65[25|35]]
192V14 "abs"{51R9[31|45[36|53]]} 46|69i19[31|45[36|53]]
212V14*"-"{51R9[27|65[25|35]]} 46|75i19[27|65[25|35]]
223V14 "&"{boolean} 46|105i19[31|45]
238V14 "+"{51R9[31|45[36|53]]} 46|70i19[31|45[36|53]]
239V14 "+"{51R9[31|45[36|53]]} 46|71i19[31|45[36|53]]
240V14 "+"{51R9[31|45[36|53]]} 46|73i19[31|45[36|53]]
255V14*"-"{51R9[27|65[25|35]]} 46|76i19[27|65[25|35]]
256V14 "-"{51R9[31|45[36|53]]} 46|77i19[31|45[36|53]]
257V14*"-"{51R9[27|65[25|35]]} 46|79i19[27|65[25|35]]
272V14 "*"{51R9[31|45[36|53]]} 46|81i19[31|45[36|53]]
273V14 "*"{51R9[57|42[43|47]]} 46|83i19[57|42[43|47]]
274V14*"*"{51R9[27|65[25|35]]} 46|85i19[27|65[25|35]]
296V14 "/"{51R9[57|42[43|47]]} 46|86i19[57|42[43|47]]
297V14*"/"{51R9[27|65[25|35]]} 46|88i19[27|65[25|35]]
298V14*"/"{51R9[27|65[25|35]]} 46|90i19[27|65[25|35]]
323V14 "**"{51R9[31|45[36|53]]} 46|93i19[31|45[36|53]]
345V14 ">"{54|33E9} 46|97i19[31|45[36|53]]
346V14*">"{54|33E9} 46|91i19[27|65[25|35]]
347V14*">"{54|33E9} 46|95i19[27|65[25|35]]
348V14 ">="{54|33E9} 46|104i19[31|45[36|53]]
349V14 ">="{54|33E9} 46|100i19[31|45[36|53]]
350V14 ">="{54|33E9} 46|102i19[31|45[36|53]]
X 56 intervals-integers.ads
47I9 Number
50R9 Interval
93V13 From{28|48I9} 46|61i18[28|55]
104V13*Is_In{boolean} 46|62i18[28|55[26|35]]
105V13*Is_In{boolean} 46|63i18[28|55[26|35]]
154V13 To{47I9[34|45]} 46|65i18[34|45]
164V13 To_Interval{50R9[34|45]} 46|66i18[34|45]
179V13*To_Interval{50R9[28|55[26|35]]} 46|67i18[28|55[26|35]]
191V14*"abs"{50R9[28|55[26|35]]} 46|69i19[28|55[26|35]]
211V14 "-"{50R9[28|55]} 46|75i19[28|55]
222V14 "&"{boolean} 46|105i19[34|45]
237V14 "+"{50R9[28|55]} 46|70i19[28|55]
238V14 "+"{50R9[28|55]} 46|71i19[28|55]
239V14 "+"{50R9[28|55]} 46|73i19[28|55]
254V14 "-"{50R9[28|55]} 46|76i19[28|55]
255V14 "-"{50R9[34|45]} 46|77i19[34|45]
256V14 "-"{50R9[34|45]} 46|79i19[34|45]
271V14 "*"{50R9[28|55]} 46|81i19[28|55]
272V14 "*"{50R9[28|55]} 46|83i19[28|55]
273V14*"*"{50R9[28|55[26|35]]} 46|85i19[28|55[26|35]]
296V14 "/"{50R9[28|55]} 46|86i19[28|55]
297V14 "/"{50R9[28|55]} 46|88i19[28|55]
298V14*"/"{50R9[28|55[26|35]]} 46|90i19[28|55[26|35]]
323V14 "**"{50R9[28|55]} 46|93i19[28|55]
345V14*">"{54|33E9} 46|97i19[28|55[26|35]]
346V14 ">"{54|33E9} 46|91i19[28|55]
347V14 ">"{54|33E9} 46|95i19[28|55]
348V14 ">="{54|33E9} 46|104i19[28|55]
349V14*">="{54|33E9} 46|100i19[28|55[26|35]]
350V14*">="{54|33E9} 46|102i19[28|55[26|35]]
X 65 object-archived.ads
86P9*Deposit_Ptr(85R9)
X 69 object-handle.ads
41R9 Handle<5|43R9>
X 72 parsers.ads
28K9*Parsers 109e12 76|28r9 63r27 72r27 79r27 84r27 91r27 110r5 77|32r6 34r14
. 80r27 116r27 130r27 138r27 152r27 170r5
68X4*Syntax_Error 77|60r13
X 73 parsers-fcl.ads
47K17*FCL 72|28k9 73|557e16 76|28r17 110r13 77|32r14 34r22 170r13
144V14*"and"{boolean} 86|75i19
172V13*Is_Commutative{boolean} 86|77i18
182V13*Is_Inverse{boolean} 86|79i18
193V13*Group_Inverse{84E9} 86|81i18
209H9*Node 209e44 76|47r26 77|68r26
261r7*Location{89|48R9} 77|40m14 40r34 61r63 74r20 88r18 88r35 124r18 124r35
. 134r32 146r18 146r35 160r18 160r35 167r20
332R9*Truth_Literal<260R9> 334e14 76|107r39 77|36r39
333r7*Value{41|61R9} 77|41r34
399U14*Check_Spelling 128|50i19
403V13*Check_Matched{boolean} 128|51i18
X 74 parsers-fcl-code.ads
37K21*Code 73|47k17 74|441e21 76|28r21 110r17 77|32r18 34r26 170r17
50R9*Resolution_Context 56e14 76|46r26 64r27 73r27 85r27 92r27 77|67r26 81r27
. 117r27 139r27 153r27
92R12*Logical_Set_Handle{69|41R9[87]}
129A9*Logical_Term(92R12)<23|57E9>
164C9*Constant_Value<164R9>
164H9*Constant_Value<73|260R9> 164e61 76|66r27 67r23 77|46r30 83r27 84r23
174E9*Preference 190e10 76|69r56 77|93r56
188n12*Intuitionistic_Logical_Preference{174E9} 77|95r14
271V13*Join{164C9}
320C9*Lattice<320R9>
320H9*Lattice<164R9> 320e64 76|75r27 76r23 81r23 87r27 88r23 94r27 95r23
. 77|70r25 119r27 120r23 132r23 141r27 142r23 155r27 156r23
368V13*Get_Lattice{320C9} 77|70s42
X 75 parsers-fcl-code-logic.ads
30K26*Logic 74|37k21 75|122e27 76|28r26 110r22 77|32r23 34r31 170r22
34H9*Logical<74|320R9> 34e57 76|32r28
50V13*Cut{74|320C9}<74|324p13>
57V13*Cut{74|320C9}<74|330p13>
64V13*Equal_Logical_Term{74|129A9}<74|297p13>
70V13*Greater_Or_Equal_Logical_Term{74|129A9}<74|302p13>
76V13*Greater_Logical_Term{74|129A9}<74|307p13>
82V13*Set_Dimension{74|164C9}<74|277p13>
89V13*Subset_Logical_Term{74|129A9}<74|312p13>
X 76 parsers-fcl-code-logic-intuitionistic.ads
28K32*Intuitionistic 75|30k26 76|110l28 110e42 77|34b37 170l28 170t42
32R9*Truth_Value<75|34R9> 74|271p13 75|50P13 57P13 64P13 70P13 76P13 82P13
. 89P13 76|34e14 48r23 53P13 55r26 62P13 65r27 69P13 69r36 71P13 74r27 78P13
. 80r27 83P13 86r27 90P13 93r27 97P14 97r27 97r47 108r14 77|37r14 38r16 49r18
. 50r17 69r23 73r10 82r27 87r10 93r36 100r26 118r27 123r10 131r27 134r14
. 140r27 145r10 154r27 159r10 165r27 165r47
33r7*Value{41|61R9} 77|41m14 50r42 89r23 104r15 104r40 105r29 108r25 110r25
. 125r18 134r62 147r18 161r18 167r39
45V13*Get_Logical{32C9} 46>16 47>16 77|66b13 77l8 77t19
46r16 Context{74|50R9} 77|67b16 70r55
47c16 Tree<73|209R9> 77|68b16 70r64
53V13*Image{string}<73|232p13> 54>16 55>16 56>16 77|98b13 113l8 113t13
54r16 Feature{30|45R9} 77|99b16
55r16 Item{32R9} 77|100b16 104r10 104r35 105r24 108r20 110r20
56e16 Mode{129|107E9} 77|101b16
62V13*EQ{74|164C9}<74|265p13> 63>16 64>16 65>16 66>16 77|79b13 91l8 91t10
63r16 Location{89|48R9} 77|80b16 88r46
64r16 Context{74|50R9} 77|81b16
65r16 Left{32R9} 77|82b16 88r13 89r18
66c16 Right<74|164R9> 77|83b16 88r29 89r43
69V13*Get_Preference{74|174E9}<74|204p13> 69>29 77|93b13 96l8 96t22
69r29 Left{32R9} 77|93b29
71V13*Logical_And{74|320C9}<74|336p13> 72>16 73>16 74>16 75>16 77|115b13
. 127l8 127t19
72r16 Location{89|48R9} 77|116b16 124r46
73r16 Context{74|50R9} 77|117b16
74r16 Left{32R9} 77|118b16 124r13 125r13
75c16 Right<74|320R9> 77|119b16 124r29 125r38
78V13*Logical_Not{74|320C9}<74|342p13> 79>16 80>16 77|129b13 135l8 135t19
79r16 Location{89|48R9} 77|130b16 134r43
80r16 Left{32R9} 77|131b16 134r27 134r57
83V13*Logical_Or{74|320C9}<74|346p13> 84>16 85>16 86>16 87>16 77|137b13 149l8
. 149t18
84r16 Location{89|48R9} 77|138b16 146r46
85r16 Context{74|50R9} 77|139b16
86r16 Left{32R9} 77|140b16 146r13 147r13
87c16 Right<74|320R9> 77|141b16 146r29 147r37
90V13*Logical_Xor{74|320C9}<74|352p13> 91>16 92>16 93>16 94>16 77|151b13
. 163l8 163t19
91r16 Location{89|48R9} 77|152b16 160r46
92r16 Context{74|50R9} 77|153b16
93r16 Left{32R9} 77|154b16 160r13 161r13
94c16 Right<74|320R9> 77|155b16 160r29 161r38
97V14*"not"{32R9}<75|120p13> 97>20 77|165b14 168l9 168t13
97r20 Left{32R9} 77|165b20 167r15 167r34
107V13*To_Truth_Value{32C9} 107>29 77|36b13 43l8 43t22
107c29 Literal<73|332R9> 77|36b29 40r26 41r26
X 77 parsers-fcl-code-logic-intuitionistic.adb
38r7 Result{76|32R9} 40m7 41m7 42r14
46V13 To_Truth{41|61R9} 46b13 46>23 64l8 64t16 75s13 89s33 125s28 147s27
. 161s28
46c23 Left<74|164R9> 49r10 50r36 51r13 54r46 61r58
53o13 Level{17|54O9} 56r21 56r28
70c7 Result<74|320R9> 74r13 75r23
X 78 parsers-fcl-code-logic-plain.ads
28K32*Plain 77|32w29 51r21 54r21 78|99e33
32R9*Truth_Value<75|34R9> 77|51r27 54r27 78|34e14
33o7*Value{17|54O9} 77|54r52
X 79 parsers-generic_argument.ads
36+9 Argument_Type
X 80 parsers-generic_argument-segmented_stack.ads
80I9 Index<integer>
X 81 parsers-generic_lexer.ads
78H9 Operation_Stack<83|78R9[77]>
104H9 Lexer<87|75R9>
X 82 parsers-generic_operation.ads
98R9 Descriptor
X 83 parsers-generic_operation-generic_stack.ads
78H9 Stack<5|50R9>
X 84 parsers-generic_operation-segmented_stack.ads
42I9*Raw_Index<integer>
X 86 parsers-generic_token.ads
83V19 "<"{boolean} 82|87i19
105R9*Argument_Token
113R9*Operation_Token
127V13*Is_Commutative{boolean} 82|81i18[73|388]
139V13*Is_Inverse{boolean} 82|83i18[73|388]
153V13*Group_Inverse{113R9[73|388]} 82|85i18[73|388]
166V14*"and"{boolean} 82|79i19[73|388]
X 87 parsers-generic_token-generic_token_lexer.ads
75H9 Operation_Stack<83|78R9[74]>
X 89 parsers-multiline_source.ads
35K17*Multiline_Source 76|63r35 72r35 79r35 84r35 91r35 77|80r35 116r35 130r35
. 138r35 152r35 89|192e29
48R9*Location 76|63r52 72r52 79r52 84r52 91r52 77|80r52 116r52 130r52 138r52
. 152r52 89|51e14
149V14*"&"{48R9} 77|88s27 88s44 124s27 124s44 134s41 146s27 146s44 160s27
. 160s44 85|171i19
150V13*End_Of{boolean} 85|147i18
151V13*Get_Backup_Pointer{integer} 85|156i18
152V13*Get_Line{string} 85|148i18
153U14*Get_Line 85|149i19
159V13*Get_Pointer{integer} 85|155i18
160V13*Image{string} 77|61s51 85|158i18
161V13*Link{48R9} 85|159i18
164U14*Next_Line 85|164i19
165U14*Reset_Pointer 85|165i19
166U14*Set_Pointer 85|166i19
X 91 stack_storage-mark_and_release.ads
62R9*Pool_Object<5|50R9>
X 129 units.ads
107E9*Code_Set 76|56r26 77|101r26 129|107e54

