Reglas de inserción de subcircuitos
Tres reglas oficiales rigen qué puede insertarse en qué. (a) Un circuito puede insertar CUALQUIER otro circuito, siempre que no se cree un ciclo recursivo. (b) Un circuito también puede insertar sus PROPIOS subcircuitos, reutilizándolos dentro del mismo padre. (c) Un sub-circuito NO puede insertar ningún circuito ni subcircuito — el anidamiento tiene un nivel de profundidad desde cada contexto de edición, por lo que mientras editas un subcircuito el comando Insertar está deshabilitado. Juntas, estas reglas mantienen la jerarquía finita y garantizan que el aplanador siempre termine.
Insertar cualquier circuito (sin ciclo)
El circuito A puede insertar el circuito B como subcircuito, y B puede llevar su propia jerarquía. El único límite es la recursión: la inserción se rechaza cuando haría que un circuito se contenga a sí mismo, directamente o a través de una cadena. Así la lista de nodos aplanada permanece acotada.
Reutilizar tus propios subcircuitos
Un circuito puede insertar instancias adicionales de un subcircuito que ya posee. Un padre con un Sub A puede colocar un segundo Sub A junto al primero, de modo que un bloque diseñado una vez sirva en cada lugar donde se necesite dentro de ese padre sin duplicar el diseño.
Qué está bloqueado
Se rechazan dos casos. Primero, la recursión: un circuito nunca puede contenerse a sí mismo a lo largo de ninguna cadena. Segundo, un sub-circuito no puede insertar absolutamente nada — mientras editas un subcircuito, Insertar y Nuevo sub-circuito están deshabilitados, de modo que el anidamiento se mantiene a un nivel de profundidad desde cada contexto. Intentar cualquiera muestra un aviso explicativo.
