def generarRama(implicacion): """Generar ramificación a partir de un elemento solamente si es una ecuación, es decir si una ecuacion tiene como atributo suElemento el mismo nombre que el elemento a partir del cual se quiere crear una nueva rama.""" for x in ecuaciones.diccEcu: if ecuaciones.diccEcu[x].suElemento == implicacion: constructores.nuevaRama(el(implicacion)) break else: msgbox( "No se puede generar una nueva ramificación a partir de \ este elemento." )
def generarRama(implicacion): """Generar ramificación a partir de un elemento solamente si algunas condiciones están satisfechas: tiene que ser una ecuacion (tener un antecedente y consecuente) y no ser la raiz de una ramificacion (no pueden haber dos ramas de una misma ecuacion).""" for x in ecuaciones.diccEcu: if ecuaciones.diccEcu[x].suElemento == implicacion: for y in ecuaciones.diccEcu: if ecuaciones.diccEcu[x].suElemento ==\ ecuaciones.diccEcu[y].madre: msgbox("No se puede generar una nueva ramificación a partir\ de este elemento.") return constructores.nuevaRama(el(implicacion)) break else: msgbox("No se puede generar una nueva ramificación a partir de \ este elemento.")