Remove CIF/SVG declarations
This CIF to CIF transformation removes CIF/SVG declarations from the specification. This may reduce the size of the specification. It may also lead to the specification being supported by more tools, as the CIF/SVG declarations may use features of the CIF language that certain tools don’t support.
This CIF to CIF transformation removes only CIF/SVG declarations. The Remove I/O declarations CIF to CIF transformation removes them as well, but additionally also removes the other I/O declarations.
Supported specifications
This transformation supports all CIF specifications.
Preprocessing
n/a
Implementation details
All CIF/SVG declarations are removed from the specification.
Renaming
n/a
Size considerations
Since information is removed from the specification, the specification can only become smaller as a result of this transformation.
Optimality
n/a
Annotations
This transformation does not process, add, or remove any annotations.