Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...

[tatoo.git] / tests / results / my.result

diff --git a/tests/results/my.result b/tests/results/my.result
deleted file mode 100644 (file)
index 53567dc..0000000
--- a/tests/results/my.result
+++ /dev/null
@@ -1,58 +0,0 @@
-Parse Tree OK ! Parse query OK ! Compil OK ! Run OK ! 
-##### Query #####
-  /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
-
-##### Doc #####
-<#document><a>
-  <b/>
-  <c/>
-  <d/>
-  <e>
-    <f id="1" value="2"> <g/> <h/> </f>
-    <i> </i>
-  </e>
-  <j> <k/> <l/> <m/> </j>
-</a></#document>
-
-##### ASTA #####
-  # Query states: { q₁ q₂ q₈ q₉ }
-  # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
-  # Selecting states: { q₁ }
-  # Bottom states: { q₂ q₈ q₉ }
-  # Top states: { q₉ }
-  # Queries transitions:
-    |  q₁ ----F(b)---> ↓₁q₀  
-    |  q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁  
-    |  q₈ ----F(a)---> (↓₁q₂ ∨ ↓₁q₁) ∧ ↓₁q₇  
-    |  q₈ ----Cof(ø)---> ↓₁q₈ ∨ ↓₂q₈  
-    |  q₉ ----Cof(ø)---> ↓₁q₈    
-  # Recognizing transitions:
-    |  q₀ ----F(g)---> ⊤   |  q₀ ----Cof(ø)---> ↓₂q₀  
-    |  q₃ ----F(g)---> ⊤  
-    |  q₃ ----Cof(ø)---> ↓₁q₃ ∨ ↓₂q₃  
-    |  q₄ ----F(e)---> ⊤  
-    |  q₄ ----Cof(ø)---> ↓₁q₄ ∨ ↓₂q₄  
-    |  q₅ ----F(f)---> ̅↓̅₁̅q̅₄ ∧ ↓₁q₃  
-    |  q₅ ----Cof(ø)---> ↓₁q₅ ∨ ↓₂q₅  
-    |  q₆ ----F(e)---> ⊤   |  q₆ ----Cof(ø)---> ↓₂q₆  
-    |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅  
-    |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇    
- 
-##### RUN ##### 
-  # Mapping:
-   |  14-->({ ø }, { ø })   |  16-->({ ø }, { ø })  
-   |  21-->({ ø }, { ø })   |  24-->({ ø }, { ø })  
-   |  25-->({ ø }, { ø })   |  34-->({ ø }, { ø })  
-   |  35-->({ ø }, { ø })   
-
-  # Doc: 
-<#document '0><a '1>
-  '2<b '3/>
-  '4<c '5/>
-  '6<d '7/>
-  '8<e '9>
-    '10<f '11 id="1" value="2"> '17<g '18/> '19<h '20/> '21</f>
-    '22<i '23> '24</i>
-  '25</e>
-  '26<j '27> '28<k '29/> '30<l '31/> '32<m '33/> '34</j>
-'35</a></#document>
\ No newline at end of file