update

diff --git a/recap_al.txt b/recap_al.txt
index 7553159..e05399c 100644 (file)
--- a/recap_al.txt
+++ b/recap_al.txt
@@ -29,6 +29,8 @@ HYPOTHESIS
        up.
 - Completeness:
        Drawing should be input complete, otherwise add rows with extensions
        up.
 - Completeness:
        Drawing should be input complete, otherwise add rows with extensions

+       This means that a top part prefix plus suffix should be available in the
+       bottom part

 
 EQUIVALENCE QUERY
 Yes: successfully found model
 
 EQUIVALENCE QUERY
 Yes: successfully found model


@@ -39,6 +41,7 @@ HANDLE CE
 - extract suffix that disproves nerode
        - there is a suffix that ends you up in the same state, the later part is
          the culprit.
 - extract suffix that disproves nerode
        - there is a suffix that ends you up in the same state, the later part is
          the culprit.

+       - add prefix above line, add suffix in column

 - add to column(note that columns should be suffix closed)
 - fill in table
 - refine hypothesis
 - add to column(note that columns should be suffix closed)
 - fill in table
 - refine hypothesis