Isodata-isomapp
Information about an isomorphic mapping according to which
(some of) the target function's arguments and results
are transformed.
(isodata-isomapp x) is a std::defaggregate of the following fields.
- isoname — Name of the defiso.
Invariant (symbolp isoname).
- localp — Flag saying whether the defiso is locally generated or not.
Invariant (booleanp localp).
- oldp — Recognizer of the old representation.
Invariant (pseudo-termfnp oldp).
- newp — Recognizer of the new representation.
Invariant (pseudo-termfnp newp).
- forth — Conversion from old to new representation.
Invariant (pseudo-termfnp forth).
- back — Conversion from new to old representation.
Invariant (pseudo-termfnp back).
- forth-image — Name of the :alpha-image theorem of the defiso.
Invariant (symbolp forth-image).
- back-image — Name of the :beta-image theorem of the defiso.
Invariant (symbolp back-image).
- back-of-forth — Name of the :beta-of-alpha theorem
of the defiso.
Invariant (symbolp back-of-forth).
- forth-of-back — Name of the :alpha-of-beta theorem
of the defiso.
Invariant (symbolp forth-of-back).
- forth-injective — Name of the :alpha-injective theorem
of the defiso.
Invariant (symbolp forth-injective).
- back-injective — Name of the :beta-injective theorem
of the defiso.
Invariant (symbolp back-injective).
- oldp-guard — Name of the :doma-guard theorem
of the defiso, if present (otherwise nil).
Invariant (symbolp oldp-guard).
- newp-guard — Name of the :domb-guard theorem
of the defiso, if present (otherwise nil).
Invariant (symbolp newp-guard).
- forth-guard — Name of the :alpha-guard theorem
of the defiso, if present (otherwise nil).
Invariant (symbolp forth-guard).
- back-guard — Name of the :beta-guard theorem
of the defiso, if present (otherwise nil).
Invariant (symbolp back-guard).
- hints — Optional hints for the defiso,
if locally generated (otherwise nil).
Invariant (keyword-value-listp hints).
Source link: isodata-isomapp
This aggregate is somewhat similar to defmapping-infop,
and in fact it corresponds
either to an existing defiso that is referenced
in an isok input of isodata,
or to a locally generated defiso that is determined
in the isok input of isodata.
However, this aggregate is not stored in any table;
it has some fields in common (except for their names)
with defmapping-infop,
but it has a few extra fields and omits a few fields.
This aggregate is only for isodata's internal use.
Subtopics
- Isodata-isomap
- Raw constructor for isodata-isomapp structures.
- Make-isodata-isomap
- Constructor macro for isodata-isomapp structures.
- Honsed-isodata-isomap
- Raw constructor for honsed isodata-isomapp structures.
- Change-isodata-isomap
- A copying macro that lets you create new isodata-isomapp structures, based on existing structures.
- Make-honsed-isodata-isomap
- Constructor macro for honsed isodata-isomapp structures.
- Isodata-isomap->oldp-guard
- Access the oldp-guard field of a isodata-isomapp structure.
- Isodata-isomap->oldp
- Access the oldp field of a isodata-isomapp structure.
- Isodata-isomap->newp-guard
- Access the newp-guard field of a isodata-isomapp structure.
- Isodata-isomap->newp
- Access the newp field of a isodata-isomapp structure.
- Isodata-isomap->localp
- Access the localp field of a isodata-isomapp structure.
- Isodata-isomap->isoname
- Access the isoname field of a isodata-isomapp structure.
- Isodata-isomap->hints
- Access the hints field of a isodata-isomapp structure.
- Isodata-isomap->forth-of-back
- Access the forth-of-back field of a isodata-isomapp structure.
- Isodata-isomap->forth-injective
- Access the forth-injective field of a isodata-isomapp structure.
- Isodata-isomap->forth-image
- Access the forth-image field of a isodata-isomapp structure.
- Isodata-isomap->forth-guard
- Access the forth-guard field of a isodata-isomapp structure.
- Isodata-isomap->forth
- Access the forth field of a isodata-isomapp structure.
- Isodata-isomap->back-of-forth
- Access the back-of-forth field of a isodata-isomapp structure.
- Isodata-isomap->back-injective
- Access the back-injective field of a isodata-isomapp structure.
- Isodata-isomap->back-image
- Access the back-image field of a isodata-isomapp structure.
- Isodata-isomap->back-guard
- Access the back-guard field of a isodata-isomapp structure.
- Isodata-isomap->back
- Access the back field of a isodata-isomapp structure.
