Type of the mapping that names ranges of primary outputs of an AIG
An object of this type associates an identifier or NIL with each
range of primary outputs of an AIG. Such an object can be passed to AIGNET
transforms to identify which ranges
of outputs should be used for which purposes, according to the transform and
its configuration. See aignet-output-ranges for a more comprehensive
description.
