Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module logic :: Class LambdaExpression
[hide private]
[frames] | no frames]

Class LambdaExpression

source code

          object --+        
                   |        
          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          LambdaExpression
Known Subclasses:
LambdaExpressionSubst

A lambda expression: \x.M.

Instance Methods [hide private]
 
_skolemise(self, bound_vars, counter) source code
 
__repr__(self)
repr(x)
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__, clauses, normalize, replace_unique, skolemise, skolemize

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

Class Variables [hide private]
  PREFIX = '\\'

Inherited from VariableBinderExpression (private): _counter

Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

_skolemise(self, bound_vars, counter)

source code 
Overrides: Expression._skolemise

__repr__(self)
(Representation operator)

source code 

repr(x)

Overrides: Expression.__repr__