Package aterm

[frames] | no frames]

Package aterm

Package for term representation and manipulation.

Loosely inspired on the Java version of the ATerm library.

Submodules

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.