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.")