Package nltk :: Package sem :: Module drt :: Class PossibleAntecedents

[frames] | no frames]

type PossibleAntecedents

                   object --+    
                            |    
                         list --+
                                |
                   object --+   |
                            |   |
                  AbstractDrs --+
                                |
               object --+       |
                        |       |
logic.SubstituteBindingsI --+   |
                            |   |
             logic.Expression --+
                                |
                               PossibleAntecedents

Instance Methods

free(self, indvar_only=True)
Set of free variables.

source code

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

source code

_pretty(self)

source code

source code

Inherited from list: __add__, __contains__, __delitem__, __delslice__, __eq__, __ge__, __getattribute__, __getitem__, __getslice__, __gt__, __hash__, __iadd__, __imul__, __init__, __iter__, __le__, __len__, __lt__, __mul__, __ne__, __new__, __repr__, __reversed__, __rmul__, __setitem__, __setslice__, append, count, extend, index, insert, pop, remove, reverse, sort

Inherited from AbstractDrs: __and__, __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.Expression: __call__, __neq__, findtype, negate, normalize, simplify, substitute_bindings, tp_equals, variables, visit

Inherited from logic.Expression (private): _set_type

Properties

Inherited from AbstractDrs: type

Method Details

free(self, indvar_only=True)

Set of free variables.

Parameters:

indvar_only - boolean only return individual variables?

Returns:

set of Variables

Overrides: logic.Expression.free

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

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.Expression.replace

str(self)
(Informal representation operator)

Overrides: logic.Expression.__str__