transf :: lib :: path :: Project :: Class Project

Class Project

Projects a subterm along a path.

Instance Methods

__init__(self, path)
Constructor.

apply(self, term, ctx)
Applies the transformation to the given term with the specified context.

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __str__

Properties
Inherited from `object`: `__class__`

Method Details

Constructor.

Overrides: transformation.Transformation.__init__: (inherited documentation)

Applies the transformation to the given term with the specified context.