X-Git-Url: https://git.llucax.com/z.facultad/75.68/celdas.git/blobdiff_plain/d2d8f6e6f3a8692e7d2711644258c1b53daac63a..a88df59fdcc06b0ff24616e1bf0c8bf58bbca41d:/trunk/src/breve/SistemaAutonomoDemo.tz diff --git a/trunk/src/breve/SistemaAutonomoDemo.tz b/trunk/src/breve/SistemaAutonomoDemo.tz index ad22ae2..aff71cd 100644 --- a/trunk/src/breve/SistemaAutonomoDemo.tz +++ b/trunk/src/breve/SistemaAutonomoDemo.tz @@ -23,7 +23,7 @@ Control : SistemaAutonomoController { entorno{"movido"} = 0. print "Actualiza entorno". - sa update-entorno entorno entorno. + sa update-entorno with entorno. 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. - sa update-datos-finales datos-finales datos-finales. + sa update-datos-finales with datos-finales. print "Calcula el plan". sa plan. @@ -88,7 +88,7 @@ Control : SistemaAutonomoController { } print "Valida teoria". - sa update-entorno entorno entorno. + sa update-entorno with entorno. if (sa validate theory teoria): { print "valida". }