		Search-engine friendly clone of the ACL2 documentation.

Split-fn

Split-fn-implementation

Implementation of split-fn.

Subtopics

Abstract-fn: Create a new function from the block items following the split-fn split point.
Split-fn-block-item-list: Transform a list of block items.
Decl-to-ident-param-declon-map: Convert a regular declaration into an omap of identifiers to parameter declarations.
Split-fn-fundef: Transform a function definition, splitting it if matches the target identifier, or else leaving it untouched.
Split-fn-extdecl: Transform an external declaration.
Split-fn-filepath-transunit-map: Transform a filepath.
Split-fn-extdecl-list: Transform a list of external declarations.
Param-declon-to-ident-param-declon-map: Convert a parameter declaration into a singleton omap associating the declared identifier to the declaration.
Split-fn-transunit-ensemble: Transform a translation unit ensemble.
Split-fn-transunit: Transform a translation unit.
Param-declon-list-to-ident-param-declon-map: Fold param-declon-to-ident-param-declon-map over a list.
Ident-param-declon-map-filter
Decl-to-ident-param-declon-map0
Decl-list-to-ident-param-declon-map: Fold decl-to-ident-param-declon-map over a list.
Add-pointer-param-declon
Map-address-ident-list: Map c$::expr-unary c$::unop-address over a list of identifiers.
Map-add-pointer-param-declon
Make-deref-subst
Ident-param-declon-map: An omap mapping identp to param-declonp.
Split-fn-event-generation: Event generation performed by split-fn.
Split-fn-input-processing: Input processing performed by split-fn.