nltk_lite.parse.lambdacalculus.LambdaExpression

Package nltk_lite :: Package parse :: Module lambdacalculus :: Class LambdaExpression

[show private | hide private]

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