https://prob.hhu.de/w/index.php?action=history&feed=atom&title=File%3ALogxml_xsd.xml File:Logxml xsd.xml - Revision history 2026-05-28T12:22:24Z Revision history for this page on the wiki MediaWiki 1.43.8 https://prob.hhu.de/w/index.php?title=File:Logxml_xsd.xml&diff=4179&oldid=prev Michael Leuschel: Replaced content with "logxml_xsd.xml" 2019-09-29T06:03:41Z <p>Replaced content with &quot;logxml_xsd.xml&quot;</p> <a href="https://prob.hhu.de/w/index.php?title=File:Logxml_xsd.xml&amp;diff=4179&amp;oldid=4178">Show changes</a> Michael Leuschel https://prob.hhu.de/w/index.php?title=File:Logxml_xsd.xml&diff=4178&oldid=prev Michael Leuschel: Created page with "<?xml version="1.0" encoding="UTF-8"?> <!-- Schema Declaration file for probcli's xml log files generated by -logxml XMLFILE command --> <!-- Version: 29th September 2019, for..." 2019-09-29T06:02:52Z <p>Created page with &quot;&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt; &lt;!-- Schema Declaration file for probcli&#039;s xml log files generated by -logxml XMLFILE command --&gt; &lt;!-- Version: 29th September 2019, for...&quot;</p> <p><b>New page</b></p><div>&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;<br /> &lt;!-- Schema Declaration file for probcli&#039;s xml log files generated by -logxml XMLFILE command --&gt;<br /> &lt;!-- Version: 29th September 2019, for probcli version 1.9.1 --&gt;<br /> &lt;xs:schema xmlns:xs=&quot;http://www.w3.org/2001/XMLSchema&quot;&gt;<br /> &lt;xs:element name=&quot;probcli-run&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;version&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;major&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;minor&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;patch&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;suffix&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;revision&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;lastchanged&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;prolog&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;options&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;number&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;&gt;<br /> &lt;/xs:extension&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt; <br /> &lt;xs:element name=&quot;list&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;set_pref&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;nom de la préférence utilisée et sa valeur associée&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;number&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;&gt;<br /> &lt;/xs:extension&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;set_preference_group&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;2&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;nom de la groupe de préférence utilisée et sa valeur associée&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;eval_string_or_file&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;4&quot; maxOccurs=&quot;5&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;expect_error&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;nom de la categorie d&#039;erreur attendue&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;expect_error_pos&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;execute&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;number&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;Noms des options choisis utilisé&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;optional_error&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;Nom des options choisis en échec&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;log&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;path&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;Format dans lequel le log est écrit&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;add_csp_guide&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;test_description&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;all_deadlocking_paths&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;load_state&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;save_state&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;dot_analyse_output_prefix&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;process_latex_file&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;evaluate_expression_over_history_to_csv_file&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;set_card&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;set_argv&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;check_goal&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;add_additional_property&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;set_goal&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;mcm_tests&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;mcm_cover&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_tests&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_deadlock_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_operation_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_assertion_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;constraint_based_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_assertions&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;ltl_formula_model_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;ctl_formula_model_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;refinement_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cli_start_mc_with_tlc&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cli_mc&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cli_random_animate&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cache_storage&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;coverage&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;pretty_print_internal_rep&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;dot_command&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;check_statespace_hash&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cli_check_assertions&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;print_values&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;history&quot; type=&quot;Option_with_Path&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;history_option&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;timeout&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;number&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;Valeur timeout en ms&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;logxml_write_ids&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;2&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;String à retrouver dans l&#039;élèment à afficher et type de cet élément&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;files&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;number&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt; <br /> &lt;xs:element name=&quot;atom&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt; <br /> &lt;xs:element name=&quot;list&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;path&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;chemin des machines exécutées&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;date&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;year&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;month&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;day&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;hour&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;minutes&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;seconds&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;process_file&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;b_machine_preferences&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;list&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;set_pref&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;atom&quot; minOccurs=&quot;2&quot; maxOccurs=&quot;2&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;nom de la préférence utilisée et sa valeur associée&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;animation_mode&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;major&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;minor&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;b_machine_statistics&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;machine_name&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;tail_filename&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;constants&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;variables&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;properties&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;invariants&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;static_assertions&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;dynamic_assertions&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;operations&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_deadlock_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;model_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;ctl_model_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;ltl_model_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;model_check_with_tlc&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;random_animate&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;check_goal&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;refinement_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;check_properties&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;total&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;true&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;false&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;unknown&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;runtime&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;timeout&quot; type=&quot;xs:integer&quot; use=&quot;optional&quot;/&gt;<br /> &lt;xs:attribute name=&quot;enum_warning&quot; type=&quot;xs:integer&quot; use=&quot;optional&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;check_assertions&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;total&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;true&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;false&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;unknown&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;runtime&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;timeout&quot; type=&quot;xs:integer&quot; use=&quot;optional&quot;/&gt;<br /> &lt;xs:attribute name=&quot;enum_warning&quot; type=&quot;xs:integer&quot; use=&quot;optional&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_operation_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;cbc_assertion_check&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:sequence&gt;<br /> &lt;xs:any minOccurs=&quot;1&quot; maxOccurs=&quot;unbounded&quot; processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:sequence&gt;<br /> &lt;xs:anyAttribute processContents=&quot;skip&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;execute&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;executed&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;steps&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;result&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;optional_error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;expected_error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;multiple_errors_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;probcli-errors&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;errors&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;warnings&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;expected_errors&quot; type=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;statistics&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;memoire utilisé en bytes, temps de l&#039;exécution et temps passé depuis l&#039;appel à proB&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:attribute name=&quot;walltime&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;walltime_since_start&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;memory_used&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;xs:attribute name=&quot;max_steps&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;state&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;variable&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;affiche l&#039;état à la fin de l&#039;exécution d&#039;une variable demandée par l&#039;option logxml_write_ids&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;set&quot; type=&quot;Set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;xs:element name=&quot;interval_set&quot; type=&quot;Interval_set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;xs:element name=&quot;symbolic_set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;empty_set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;xs:attribute name=&quot;name&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;optional_error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;expected_error_occurred&quot; type=&quot;Error_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;multiple_errors_occurred&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;probcli-errors&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;errors&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;warnings&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;expected_errors&quot; type=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;statistics&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;walltime&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;walltime_since_start&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;memory_used&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;xs:attribute name=&quot;filename&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;summary&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;probcli-errors&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;errors&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;warnings&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;expected_errors&quot; type=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;statistics&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:attribute name=&quot;walltime&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;walltime_since_start&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;memory_used&quot; type=&quot;xs:integer&quot; use=&quot;required&quot;/&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:complexType name=&quot;Set&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;pair&quot; type=&quot;Pair&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;integer&quot; type=&quot;Integer&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;bool&quot; type=&quot;Bool&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;string&quot; type=&quot;String&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Pair&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;fst&quot; type=&quot;First_Element&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;xs:element name=&quot;snd&quot; type=&quot;Second_Element&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;First_Element&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;integer&quot; type=&quot;Integer&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;set&quot; type=&quot;Set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;pair&quot; type=&quot;Pair&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;bool&quot; type=&quot;Bool&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;string&quot; type=&quot;String&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;empty_set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Second_Element&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;pair&quot; type=&quot;Pair&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;set&quot; type=&quot;Set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;empty_set&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;xs:element name=&quot;integer&quot; type=&quot;Integer&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;bool&quot; type=&quot;Bool&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;xs:element name=&quot;string&quot; type=&quot;String&quot; minOccurs=&quot;0&quot; maxOccurs=&quot;unbounded&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Interval_set&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;from&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType &gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;integer&quot; type=&quot;Integer&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;xs:element name=&quot;to&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;integer&quot; type=&quot;Integer&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;/&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Option_with_Path&quot;&gt;<br /> &lt;xs:choice maxOccurs=&quot;unbounded&quot;&gt;<br /> &lt;xs:element name=&quot;path&quot; minOccurs=&quot;1&quot; maxOccurs=&quot;1&quot;&gt;<br /> &lt;xs:complexType&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:element&gt;<br /> &lt;/xs:choice&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Error_occurred&quot;&gt;<br /> &lt;xs:annotation&gt;<br /> &lt;xs:documentation xml:lang=&quot;fr&quot;&gt;erreurs relevé par proB&lt;/xs:documentation&gt;<br /> &lt;/xs:annotation&gt;<br /> &lt;xs:attribute name=&quot;category&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;type&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;message&quot; type=&quot;xs:string&quot; use=&quot;required&quot;/&gt;<br /> &lt;xs:attribute name=&quot;file&quot; type=&quot;xs:string&quot; /&gt;<br /> &lt;xs:attribute name=&quot;start_line&quot; type=&quot;xs:integer&quot; /&gt;<br /> &lt;xs:attribute name=&quot;end_line&quot; type=&quot;xs:integer&quot; /&gt;<br /> &lt;xs:attribute name=&quot;start_col&quot; type=&quot;xs:integer&quot; /&gt;<br /> &lt;xs:attribute name=&quot;end_col&quot; type=&quot;xs:integer&quot; /&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Integer&quot;&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:integer&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;String&quot;&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;xs:complexType name=&quot;Bool&quot;&gt;<br /> &lt;xs:simpleContent&gt;<br /> &lt;xs:extension base=&quot;xs:string&quot;/&gt;<br /> &lt;/xs:simpleContent&gt;<br /> &lt;/xs:complexType&gt;<br /> &lt;/xs:schema&gt;</div> Michael Leuschel