transf :: lib :: match :: ApplCons :: Class ApplCons
[frames] | no frames]

Class ApplCons




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

Inherited from _common.ApplCons: __init__

Inherited from transformation.Transformation: __add__, __call__, __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, term, ctx)

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