Package nltk :: Package sem :: Module drt :: Class DrtVariableExpression
[hide private]
[frames] | no frames]

Class DrtVariableExpression

source code

                             object --+    
                                      |    
                            AbstractDrs --+
                                          |
                     object --+           |
                              |           |
      logic.SubstituteBindingsI --+       |
                                  |       |
                   logic.Expression --+   |
                                      |   |
               logic.VariableExpression --+
                                          |
drt_resolve_anaphora.VariableExpression --+
                                          |
                                         DrtVariableExpression
Known Subclasses:

Instance Methods [hide private]
 
toFol(self) source code
 
get_refs(self) source code

Inherited from AbstractDrs: __add__, __and__, __call__, __gt__, __lt__, __neg__, __or__, applyto, draw, get_EqualityExpression, is_pronoun_function, make_VariableExpression, negate, tp_equals

Inherited from logic.VariableExpression: __eq__, __init__, free, replace, simplify, str, variables

Inherited from logic.Expression: __hash__, __repr__, __str__, substitute_bindings

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

Inherited from drt_resolve_anaphora.VariableExpression: resolve_anaphora

Properties [hide private]

Inherited from object: __class__