Module puffin::algebra::bitstrings

Structs

• EvalTree
  A tree of evaluated term, linked to the term structure itself. Created while evaluating a term.
• PayloadContext
  Payload with the context related to the term it originates from
• PayloadMetadata
  TermMetadata stores some metadata about terms.
• Payloads
  Terms are Terms equipped with optional Payloads when they no longer are treated as symbolic terms.

Constants

• THRESHOLD_RATIO 🔒
• THRESHOLD_SIZE 🔒
  Constants governing heuristic for finding payloads in term evaluations

Functions

• replace_payloads
  Operate the payloads replacements in eval_tree.encode[vec![]] and returns the modified bitstring. @payloads follows this order: deeper terms first, left-to-right, assuming no overlap (no two terms one being a sub-term of the other).