From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 26 Jan 2016 13:44:48 +0000 (+0100)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;ds=sidebyside;p=tt1516.git

update
---

diff --git a/recap_al.txt b/recap_al.txt
index 7553159..e05399c 100644
--- 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
+	This means that a top part prefix plus suffix should be available in the
+	bottom part
 
 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.
+	- add prefix above line, add suffix in column
 - add to column(note that columns should be suffix closed)
 - fill in table
 - refine hypothesis