Package nltk_lite :: Package parse :: Module lambdacalculus :: Class LambdaExpression
[show private | hide private]
[frames | no frames]

Class LambdaExpression

          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          LambdaExpression


A lambda expression: \x.M.
Method Summary
  __repr__(self)
  _skolemise(self, bound_vars, counter)
Inherited from VariableBinderExpression: __init__, __hash__, __str__, alpha_convert, equals, free, replace, simplify, subterms, variables
Inherited from Expression: __eq__, __ne__, skolemise

Class Variable Summary
str PREFIX = '\\'
Inherited from VariableBinderExpression: _counter

Class Variable Details

PREFIX

Type:
str
Value:
'\\'                                                                   

Generated by Epydoc 2.1 on Tue Sep 5 09:37:22 2006 http://epydoc.sf.net