Package nltk :: Package sem :: Module drt :: Class DrtLambdaExpression

[frames] | no frames]

type DrtLambdaExpression

                           object --+    
                                    |    
                          AbstractDrs --+
                                        |
               object --+               |
                        |               |
logic.SubstituteBindingsI --+           |
                            |           |
             logic.Expression --+       |
                                |       |
   logic.VariableBinderExpression --+   |
                                    |   |
               logic.LambdaExpression --+
                                        |
                                       DrtLambdaExpression

Instance Methods

alpha_convert(self, newvar)
Rename all occurrences of the variable introduced by this variable binder in the expression to @newvar. source code

fol(self)

source code

_pretty(self)

source code

Inherited from AbstractDrs: __add__, __and__, __gt__, __neg__, __or__, applyto, draw, eliminate_equality, equiv, get_refs, is_pronoun_function, make_EqualityExpression, make_VariableExpression, pprint, pretty, resolve_anaphora, typecheck

Inherited from AbstractDrs (private): _get_type

Inherited from logic.LambdaExpression: __str__, str

Inherited from logic.LambdaExpression (private): _set_type

Inherited from logic.VariableBinderExpression: __eq__, __init__, findtype, free, replace, variables, visit

Inherited from logic.Expression: __call__, __hash__, __lt__, __neq__, __repr__, negate, normalize, simplify, substitute_bindings, tp_equals

Properties

Inherited from AbstractDrs: type

Method Details

alpha_convert(self, newvar)

Rename all occurrences of the variable introduced by this variable binder in the expression to @newvar.

Parameters:

newvar - Variable, for the new variable

Overrides: logic.VariableBinderExpression.alpha_convert