Cleanups varios.

[z.facultad/75.68/celdas.git] / trunk / src / breve / SistemaAutonomoDemo.tz

diff --git a/trunk/src/breve/SistemaAutonomoDemo.tz b/trunk/src/breve/SistemaAutonomoDemo.tz
index ad22ae2042981319147b52210d69ac587572f05c..aff71cd9ddb11b3c255b4e1d7354c59db308f874 100644 (file)
--- a/trunk/src/breve/SistemaAutonomoDemo.tz
+++ b/trunk/src/breve/SistemaAutonomoDemo.tz
@@ -23,7 +23,7 @@ Control : SistemaAutonomoController {
                entorno{"movido"} = 0.
 
                print "Actualiza entorno".
                entorno{"movido"} = 0.
 
                print "Actualiza entorno".

-               sa update-entorno entorno entorno.
+               sa update-entorno with entorno.

 
                print "Crea Teoria 1".
                teorias = 2 new Teorias.
 
                print "Crea Teoria 1".
                teorias = 2 new Teorias.


@@ -66,7 +66,7 @@ Control : SistemaAutonomoController {
 
                print "Ponemos condicion final esperada para el plan".
                datos-finales{"movido"} = 1.
 
                print "Ponemos condicion final esperada para el plan".
                datos-finales{"movido"} = 1.

-               sa update-datos-finales datos-finales datos-finales.
+               sa update-datos-finales with datos-finales.

 
                print "Calcula el plan".
                sa plan.
 
                print "Calcula el plan".
                sa plan.


@@ -88,7 +88,7 @@ Control : SistemaAutonomoController {
                        }
 
                        print "Valida teoria".
                        }
 
                        print "Valida teoria".

-                       sa update-entorno entorno entorno.
+                       sa update-entorno with entorno.

                        if (sa validate theory teoria): {
                                print "valida".
                        }
                        if (sa validate theory teoria): {
                                print "valida".
                        }