Package nltk_lite :: Package semantics :: Module logic :: Class LambdaExpression

Class LambdaExpression

          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          LambdaExpression

A lambda expression: \x.M.

Instance Methods

[hide private]

_skolemise(self, bound_vars, counter)

source code

__repr__(self)

source code

Inherited from VariableBinderExpression: __hash__, __init__, __str__, alpha_convert, equals, free, infixify, replace, simplify, subterms, variables

Inherited from VariableBinderExpression (private): _relabel

Inherited from Expression: __eq__, __ne__, skolemise

Class Variables

[hide private]

PREFIX = '\\'

Inherited from VariableBinderExpression (private): _counter

Method Details

[hide private]

_skolemise(self, bound_vars, counter)

source code

Overrides: Expression._skolemise

repr(self)
(Representation operator)

source code

Overrides: Expression.__repr__

Class LambdaExpression

_skolemise(self, bound_vars, counter)

__repr__(self) (Representation operator)

repr(self)
(Representation operator)