transf :: lib :: project :: Args :: Class Args
[frames] | no frames]

Class Args




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

Inherited from transformation.Transformation: __add__, __call__, __init__, __mul__, __neg__, __pos__, __pow__, __repr__

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

Properties

Inherited from object: __class__

Method Details

apply(self, trm, ctx)

 
Applies the transformation to the given term with the specified context.
Returns:
The transformed term on success.
Overrides: transformation.Transformation.apply
(inherited documentation)