Module Hierarchy

• aterm: Package for term representation and manipulation.
  • aterm._tests: Unit tests.
  • aterm.annotation: High-level term annotation.
  • aterm.asd: Abstract Syntax Definition.
  • aterm.build: Term building from patterns.
  • aterm.compare: Term comparison.
  • aterm.convert: Term conversion.
  • aterm.exception: Exception class hierarchy.
  • aterm.factory: Term creation.
  • aterm.hash: Term hash computation.
  • aterm.lexer: Term textual representation tokenization.
  • aterm.lists: List term operations.
  • aterm.match: Term pattern matching.
  • aterm.parser: Term parsing.
  • aterm.path: Term paths.
  • aterm.project: Term projection.
  • aterm.term: Term class hierarchy.
  • aterm.types: Term types constants.
  • aterm.visitor: Term visiting.
  • aterm.walker: Term walking.
  • aterm.write: Term writing.
• transf: Term transformation framework.
  • transf._tests: Unit tests for the transformation package.
  • transf.context: Transformation contexts.
  • transf.exception: Exception classes.
  • transf.lib: Transformation library.
    • transf.lib._common: Common code for term matching, building, and congruent traversal transformations.
    • transf.lib.annotation: High-level annotation transformations.
    • transf.lib.arith: Arithmetic transformations.
    • transf.lib.base: Base transformation classes.
    • transf.lib.build: Term building transformations.
    • transf.lib.combine: Transformation combinators.
    • transf.lib.congruent: Congruent term transformations.
    • transf.lib.debug: Debugging transformations.
    • transf.lib.iterate: Transformations for iterating terms.
    • transf.lib.lists: List manipulation transformations.
    • transf.lib.match: Term matching transformations.
    • transf.lib.path: Path transformations.
    • transf.lib.project: Term projecting transformations.
    • transf.lib.scope: Transformations which introduce new scopes.
    • transf.lib.strings: String manipulation transformations.
    • transf.lib.traverse: Term traversal transformations.
    • transf.lib.ui: User data input transformations.
    • transf.lib.unify: Term unifying transformations.
  • transf.operate: Base classes for transformations operators.
  • transf.parse: Transformation parsing.
    • transf.parse._builtins
    • transf.parse.compiler: Translates the transformation describing aterms into the respective transformation objects.
    • transf.parse.lexer: Custom transformation lexer.
    • transf.parse.parser
    • transf.parse.simplifier
  • transf.transformation: Base transformation classes.
  • transf.types: Variable types.
    • transf.types.table: Hash table variable.
    • transf.types.term: Term variables.
  • transf.util: Utilitary transformations.
  • transf.variable: Variable.