ISAQuery Clase

Clase base abstracta para todos los nodos del árbol de enumeración ISA.

Los nodos de enumeración definen la estructura del espacio de búsqueda de ISA a partir de arquitecturas y modificadas por transformaciones isa, como esquemas de corrección de errores. Se pueden componer mediante operadores como + (suma) y * (producto) para crear estrategias de enumeración complejas.

Constructor

ISAQuery()

Métodos

bind

Cree un BindingNode con este nodo como componente.

Ejemplo:

enumerate

Produce todas las instancias de ISA representadas por este nodo de enumeración.

populate

Rellene el gráfico de procedencia con instrucciones de este nodo.

A diferencia de enumerate, esto no produce objetos ISA. Cada transformación consulta el gráfico para obtener instrucciones óptimas para Pareto que coincidan con sus requisitos y agrega instrucciones generadas directamente al grafo.

bind

Cree un BindingNode con este nodo como componente.

Ejemplo:

bind(name: str, node: ISAQuery) -> _BindingNode

Parámetros

Nombre	Description
name Requerido	Nombre al que se va a enlazar el componente.
node Requerido	Nodo de enumeración secundario que puede contener ISARefNodes.

Devoluciones

Tipo	Description
	BindingNode con self como componente.

enumerate

Produce todas las instancias de ISA representadas por este nodo de enumeración.

abstract enumerate(ctx: ISAContext) -> Generator[ISA, None, None]

Parámetros

Nombre	Description
ctx Requerido	ISAContext Contexto de enumeración que contiene el estado compartido, por ejemplo, acceso a la arquitectura subyacente.

populate

Rellene el gráfico de procedencia con instrucciones de este nodo.

populate(ctx: ISAContext) -> int

Parámetros

Nombre	Description
ctx Requerido	ISAContext Contexto de enumeración cuyo gráfico de procedencia se rellenará.

Devoluciones

Tipo	Description
int	Índice de nodo inicial de las instrucciones aportadas por este subárbol. Los consumidores usan para definir el ámbito de las consultas de grafos para ver solo los nodos de su origen.