Top

Cuts4-config

Configuration object for the 4-cut sweeping algorithm used in the aignet rewrite transform.

This is a product type introduced by fty::defprod.

Fields

max-cuts — posp: Maximum number of cuts to keep for each node

Subtopics

Cuts4-config-fix: Fixing function for cuts4-config structures.
Cuts4-config-equiv: Basic equivalence relation for cuts4-config structures.
Make-cuts4-config: Basic constructor macro for cuts4-config structures.
Cuts4-config->max-cuts: Get the max-cuts field from a cuts4-config.
Change-cuts4-config: Modifying constructor for cuts4-config structures.
Cuts4-config-p: Recognizer for cuts4-config structures.