+*/
+
+ // 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) ;
+
+ // Inicializo las teorias
+ CTeoria t2("Avanzar_X_2", "AvanzarX", 1, 1) ;
+ t2.datos_iniciales.add ("robot.sensor_1", ANY) ;
+ t2.datos_iniciales.add ("robot.sensor_2", ANY) ;
+ t2.datos_iniciales.add ("robot.sensor_3", ANY) ;
+ t2.datos_iniciales.add ("robot.sensor_4", ANY) ;
+ t2.datos_iniciales.add ("robot.avanzo_en_x", ANY) ;
+ t2.datos_finales.add ("robot.avanzo_en_x", ANY) ;
+ t2.datos_finales.add ("robot.sensor_1", ANY) ;
+ t2.datos_finales.add ("robot.sensor_2", ANY) ;
+ t2.datos_finales.add ("robot.sensor_3", ANY) ;
+ t2.datos_finales.add ("robot.sensor_4", ANY) ;