ExtensionPointer

class hugr.package.ExtensionPointer(package: Package, extension_index: int)[source]

Bases: PackagePointer

Pointer to an extension in a package.

Parameters:
  • package – Package pointed to.

  • extension_index – Index of the extension in the package.

Methods

Attributes

extension

Extension definition.

extension_index

Index of the extension in the package.

package

Package pointed to.

property extension: Extension

Extension definition.

extension_index: int

Index of the extension in the package.

package: Package

Package pointed to.