Package nltk :: Package sem :: Module drt :: Class ConcatenationDRS

[frames] | no frames]

Class ConcatenationDRS

                                object --+    
                                         |    
                               AbstractDrs --+
                                             |
                        object --+           |
                                 |           |
         logic.SubstituteBindingsI --+       |
                                     |       |
                      logic.Expression --+   |
                                         |   |
                   logic.BooleanExpression --+
                                             |
drt_resolve_anaphora.BooleanExpression --+   |
                                         |   |
     drt_resolve_anaphora.ConcatenationDRS --+
                                             |
                                            ConcatenationDRS

DRS of the form '(DRS + DRS)'

Instance Methods

replace(self, variable, expression, replace_bound=False)
Replace all instances of variable v with expression E in self, where v is free in self.

source code

get_refs(self)

source code

source code

getOp(self, syntax=1)

source code

__eq__(self, other)
Defines equality modulo alphabetic variance.

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.BooleanExpression: __init__, free, 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.BooleanExpression: resolve_anaphora

Properties

Inherited from object: __class__

Method Details

replace(self, variable, expression, replace_bound=False)

Replace all instances of variable v with expression E in self, where v is free in self.

Parameters:

variable - Variable The variable to replace
expression - Expression The expression with which to replace it
replace_bound - boolean Should bound variables be replaced?

Overrides: logic.BooleanExpression.replace

simplify(self)

Overrides: logic.BooleanExpression.simplify

eq(self, other)
(Equality operator)

Defines equality modulo alphabetic variance. If we are comparing \x.M and \y.N, then check equality of M and N[x/y].

Overrides: logic.BooleanExpression.__eq__