Package aterm :: Module path
[frames] | no frames]

Module path



Term paths.

Classes
  Path
A path is a term comprehending a list of integer indexes which indicate the position of a term relative to the root term.
Functions
 
annotate(term, root=None, func=None)
Recursively annotates the terms and all subterms with their path.
 
deannotate(term)
Recursively removes all path annotations.
Variables
  PRECEDENT = -2
  ANCESTOR = -1
  EQUAL = 0
  DESCENDENT = 1
  SUBSEQUENT = 2