mcrl2::aterm

Module term

Source

Structsยง

  • ATerm
    The protected version of ATermRef, mostly derived from it.
  • ATermArgs
    An iterator over the arguments of a term.
  • ATermGlobal
    The same as ATerm but protected on the global protection set. This allows the term to be Send and Sync among threads.
  • ATermList
  • ATermListIter
  • ATermRef
    This represents a lifetime bound reference to an existing ATerm that is protected somewhere statically.
  • TermIterator
    An iterator over all subterms of the given ATerm in preorder traversal, i.e., for f(g(a), b) we visit f(g(a), b), g(a), a, b.