Package nltk :: Package sem :: Module drt :: Class DrtImpExpression

Class DrtImpExpression

                                object --+    
                                         |    
                               AbstractDrs --+
                                             |
                    object --+               |
                             |               |
     logic.SubstituteBindingsI --+           |
                                 |           |
                  logic.Expression --+       |
                                     |       |
               logic.BooleanExpression --+   |
                                         |   |
                       logic.ImpExpression --+
                                             |
drt_resolve_anaphora.BooleanExpression --+   |
                                         |   |
        drt_resolve_anaphora.ImpExpression --+
                                             |
                                            DrtImpExpression

Instance Methods

[hide private]

get_refs(self)

source code

toFol(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.ImpExpression: getOp

Inherited from logic.BooleanExpression: __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.ImpExpression: resolve_anaphora

Properties

[hide private]

Inherited from object: __class__