Module aterm_builder

Structs

• ArgStack
  This struct defines a local argument stack on the global stack.
• TermBuilder
  This can be used to construct a term from a given input of (inductive) type I, without using the system stack, i.e. recursion. See evaluate.

Enums

• Yield

Functions

• apply
  Applies the given function to every subterm of the given term using the TermBuilder. function(subterm) returns: None , in which case subterm is kept and it is recursed into its argments. Some(x), in which case subterm is replaced by x.
• random_term
  Create a random term consisting of the given symbol and constants. Performs iterations number of constructions, and uses chance_duplicates to choose the amount of subterms that are duplicated.