-/* OLD
- // Inicializo las teorias
- CTeoria t1("Avanzar_X_1", "AvanzarX", 1, 1) ;
- t1.datos_iniciales.add ("robot.sensor_1", 0) ;
- t1.datos_iniciales.add ("robot.sensor_2", ANY) ;
- t1.datos_iniciales.add ("robot.sensor_3", ANY) ;
- t1.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
- t1.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
- t1.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
- t1.datos_finales.add ("robot.avanzo_en_x", 1) ;
- t1.datos_finales.add ("robot.avanzo_en_y", ANY) ;
- t1.datos_finales.add ("robot.avanzo_en_z", ANY) ;
- t1.datos_finales.add ("robot.sensor_1", ANY) ;
- t1.datos_finales.add ("robot.sensor_2", ANY) ;
- t1.datos_finales.add ("robot.sensor_3", ANY) ;
-
- CTeoria t2("Avanzar_Y_1", "AvanzarY", 1, 1) ;
- t2.datos_iniciales.add ("robot.sensor_1", ANY) ;
- t2.datos_iniciales.add ("robot.sensor_2", 0) ;
- t2.datos_iniciales.add ("robot.sensor_3", ANY) ;
- t2.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
- t2.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
- t2.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
- t2.datos_finales.add ("robot.avanzo_en_x", 0) ;
- t2.datos_finales.add ("robot.avanzo_en_y", 1) ;
- t2.datos_finales.add ("robot.avanzo_en_z", 0) ;
- t2.datos_finales.add ("robot.sensor_1", ANY) ;
- t2.datos_finales.add ("robot.sensor_2", ANY) ;
- t2.datos_finales.add ("robot.sensor_3", ANY) ;
-
- CTeoria t3("Avanzar_Z_1", "AvanzarZ", 1, 1) ;
- t3.datos_iniciales.add ("robot.sensor_1", ANY) ;
- t3.datos_iniciales.add ("robot.sensor_2", ANY) ;
- t3.datos_iniciales.add ("robot.sensor_3", 0) ;
- t3.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
- t3.datos_iniciales.add ("robot.avanzo_en_y", ANY) ;
- t3.datos_iniciales.add ("robot.avanzo_en_z", ANY) ;
- t3.datos_finales.add ("robot.avanzo_en_x", 0) ;
- t3.datos_finales.add ("robot.avanzo_en_y", 0) ;
- t3.datos_finales.add ("robot.avanzo_en_z", 1) ;
- t3.datos_finales.add ("robot.sensor_1", ANY) ;
- t3.datos_finales.add ("robot.sensor_2", ANY) ;
- t3.datos_finales.add ("robot.sensor_3", ANY) ;
-*/
-
-/*
- // Inicializo las teorias
- CTeoria t1("Avanzar_X_1", "AvanzarX", 1, 1) ;
- t1.datos_iniciales.add ("robot.sensor_1", ANY) ;
- t1.datos_iniciales.add ("robot.sensor_2", ANY) ;
- t1.datos_iniciales.add ("robot.sensor_3", ANY) ;
- t1.datos_iniciales.add ("robot.sensor_4", ANY) ;
- t1.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
- t1.datos_finales.add ("robot.avanzo_en_x", ANY) ;
- t1.datos_finales.add ("robot.sensor_1", ANY) ;
- t1.datos_finales.add ("robot.sensor_2", ANY) ;
- t1.datos_finales.add ("robot.sensor_3", ANY) ;
- t1.datos_finales.add ("robot.sensor_4", ANY) ;
-