Package transf :: Package parse

Package parse

Transformation parsing.

Submodules
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

Functions

Transfs(buf, simplify=True, verbose=False, debug=False)
Parse transformation definitions from a string.

Transf(buf, simplify=True, verbose=False, debug=False)
Parse a transformation from a string.