Deep clone the term t
.
Deep clone the term t
. Only applicable if the base type of the tree is
a Product
.
Lazily deep clone the term t
; i.e., only clone sub-trees if they occur
elsewhere in the tree.
Lazily deep clone the term t
; i.e., only clone sub-trees if they occur
elsewhere in the tree. Only applicable if the base type of the tree is a
Product
. The bu
argument specifies the strategy to use when traversing
the term. It should be a bottom-up traversal, but can be tailored to skip
some sub-trees if desired. bu
defaults to everywherebu
.
Implementation of cloning operations. These operations must be mixed in to an instance of the rewriting library which will then be used as the underlying rewriting behaviour.