ISAQuery Classe

Classe base abstrata para todos os nós na árvore de enumeração ISA.

Os nós de enumeração definem a estrutura do espaço de pesquisa para ISAs a partir de arquiteturas e modificados por transformações ISA, como esquemas de correção de erro. Eles podem ser compostos usando operadores como + (soma) e * (produto) para criar estratégias de enumeração complexas.

Construtor

ISAQuery()

Métodos

bind	Crie um BindingNode com esse nó como o componente. Exemplo:
enumerate	Produz todas as instâncias ISA representadas por esse nó de enumeração.
populate	Preencha o grafo de procedência com instruções desse nó. Diferentemente enumeratedisso, isso não gera objetos ISA. Cada transformação consulta o grafo para obter instruções ideais de Pareto que correspondam aos seus requisitos e adiciona instruções produzidas diretamente ao grafo.

bind

Crie um BindingNode com esse nó como o componente.

Exemplo:

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

Parâmetros

Nome	Description
name Obrigatório	O nome ao qual associar o componente.
node Obrigatório	O nó de enumeração filho que pode conter ISARefNodes.

Retornos

Tipo	Description
	Um BindingNode com auto-componente.

enumerate

Produz todas as instâncias ISA representadas por esse nó de enumeração.

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

Parâmetros

Nome	Description
ctx Obrigatório	ISAContext O contexto de enumeração que contém o estado compartilhado, por exemplo, acesso à arquitetura subjacente.

populate

Preencha o grafo de procedência com instruções desse nó.

Diferentemente enumeratedisso, isso não gera objetos ISA. Cada transformação consulta o grafo para obter instruções ideais de Pareto que correspondam aos seus requisitos e adiciona instruções produzidas diretamente ao grafo.

populate(ctx: ISAContext) -> int

Parâmetros

Nome	Description
ctx Obrigatório	ISAContext O contexto de enumeração cujo grafo de procedência será preenchido.

Retornos

Tipo	Description
int	O índice de nó inicial das instruções contribuídas por essa subárvore. Usado pelos consumidores para definir o escopo de consultas de grafo para ver apenas os nós de origem.