From 1f34787ef9baae4c71e9ee8399d9c08eb23877e6 Mon Sep 17 00:00:00 2001
From: Harco Kuppens <h.kuppens@cs.ru.nl>
Date: Thu, 1 Dec 2016 11:50:40 +0100
Subject: [PATCH] merged README and __README__

---
 README.md      | 37 +++++++++++++++++++++++++++++++++++--
 __README__.txt | 36 ------------------------------------
 2 files changed, 35 insertions(+), 38 deletions(-)
 delete mode 100644 __README__.txt

diff --git a/README.md b/README.md
index a7374fa..aadc775 100644
--- a/README.md
+++ b/README.md
@@ -3,5 +3,38 @@ Learning the alarm component in the Dezyne Alarm example project.
 Current repository contains a java 8 eclipse project to learn the Dezyne alarm
 component using a learning purpose with the LearnLib tool.
 
-In report/report.pdf is a report describes a set of learning experiments done 
-on the Dezyne Alarm example project.
\ No newline at end of file
+In ./report/report.pdf is a report describes a set of learning experiments done 
+on the Dezyne Alarm example project.
+
+The correct Dezyne alarm example model project is in DezyneAlarmExampleProject/.
+
+The java 8  source  generated from this model is in src/sul/alarmsystem/
+together with the Dezyne runtime for java 8 generated models in header.java.
+  
+I wrote a SUL wrapper in src/sul/alarmsystem/AlarmSUL.java around the Alarm
+component in src/sul/alarmsystem/Alarm.java. The AlarmSul class 
+uses a learning purpose implemented in the files in the same folder:
+ ISensorLearningPurpose.java ISirenLearningPurpose.java LearningPurpose.java
+
+The main class the project is src/learner/Main.java. In this main class
+you can setup which SUL you want to learn with which learner and testing method.
+It is currently setup to learn the "AlarmSUL" SUL using the TTT learning
+algorithm using random testing. 
+
+The AlarmSUL can be configured in different modes by giving different
+constructor parameters to it in src/learner/Main.java :
+
+* learning SUL model without learning purpose
+   
+     USE_LEARNING_PURPOSE = false;
+     CONSOLE_OUTPUTS_ONLY = false;
+  
+* learning SUL model  with learning purpose
+   
+     USE_LEARNING_PURPOSE = true;
+     CONSOLE_OUTPUTS_ONLY = false;
+
+* learning SUL INTERFACE  with learning purpose
+   
+     USE_LEARNING_PURPOSE = true;
+     CONSOLE_OUTPUTS_ONLY = true;
diff --git a/__README__.txt b/__README__.txt
deleted file mode 100644
index 037434b..0000000
--- a/__README__.txt
+++ /dev/null
@@ -1,36 +0,0 @@
-
-This folder contains an eclipse project for learning a model from the alarm
-Dezyne component using a learning purpose.
-
-The correct Dezyne alarm example model project is in DezyneAlarmExampleProject/.
-The java 8  source  generated from this model is in src/sul/alarmsystem/
-together with the Dezyne runtime for java 8 generated models in header.java.
-  
-I wrote a SUL wrapper in src/sul/alarmsystem/AlarmSUL.java around the Alarm
-component in src/sul/alarmsystem/Alarm.java. The AlarmSul class 
-uses a learning purpose implemented in the files in the same folder:
- ISensorLearningPurpose.java ISirenLearningPurpose.java LearningPurpose.java
-
-
-The main class the project is src/learner/Main.java. In this main class
-you can setup which SUL you want to learn with which learner and testing method.
-It is currently setup to learn the "AlarmSUL" SUL using the TTT learning
-algorithm using random testing. 
-
-The AlarmSUL can be configured in different modes by giving different
-constructor parameters to it in src/learner/Main.java :
-
-* learning SUL model without learning purpose
-   
-     USE_LEARNING_PURPOSE = false;
-     CONSOLE_OUTPUTS_ONLY = false;
-  
-* learning SUL model  with learning purpose
-   
-     USE_LEARNING_PURPOSE = true;
-     CONSOLE_OUTPUTS_ONLY = false;
-
-* learning SUL INTERFACE  with learning purpose
-   
-     USE_LEARNING_PURPOSE = true;
-     CONSOLE_OUTPUTS_ONLY = true;
-- 
GitLab