Browse Source

removed module declaration as it is not used in the paper version

Cláudio Gomes 4 years ago
parent
commit
4057d1eb33

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/controller.sa

@@ -1,5 +1,3 @@
-module Controller_SA
-
 semantic adaptation reactive moore ControllerSA controller_sa
 at "./path/to/ControllerSA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/lazy.sa

@@ -1,5 +1,3 @@
-module Lazy_SA
-
 semantic adaptation reactive moore LazySA lazy_sa
 at "./path/to/LazySA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/loop.sa

@@ -1,5 +1,3 @@
-module Loop_SA
-
 semantic adaptation reactive moore LoopSA loop_sa
 at "./path/to/LoopSA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/power.BASE.sa

@@ -1,5 +1,3 @@
-module Power_SA
-
 semantic adaptation delayed moore PowerSA power_sa
 at "./path/to/PowerSA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/rate.sa

@@ -1,5 +1,3 @@
-module Rate_SA
-
 semantic adaptation reactive moore RateSA rate_sa
 at "./path/to/RateSA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/window_sa.BASE.sa

@@ -1,5 +1,3 @@
-module Window_SA
-
 semantic adaptation reactive mealy WindowSA windowSA
 at "./path/to/WindowSA.fmu"
 

+ 0 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/window_sa_canonical.BASE.sa

@@ -1,5 +1,3 @@
-module Window_SA
-
 semantic adaptation reactive mealy WindowSA windowSA
 at "./path/to/WindowSA.fmu"