Package nltk :: Package sem :: Module logic :: Class SubstituteBindingsI

Class SubstituteBindingsI

object --+
         |
        SubstituteBindingsI

Known Subclasses:

An interface for classes that can perform substitutions for variables.

Instance Methods

[hide private]

(any)

substitute_bindings(self, bindings)
Returns: The object that is obtained by replacing each variable bound by bindings with its values. source code

variables(self)
Returns: A list of all variables in this object.

source code

Inherited from object: __delattr__, __getattribute__, __hash__, __init__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

substitute_bindings(self, bindings)

source code

Returns: (any): The object that is obtained by replacing each variable bound by bindings with its values. Aliases are already resolved. (maybe?)

variables(self)

source code

Returns:: A list of all variables in this object.