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

type SubstituteBindingsI

object --+
         |
        SubstituteBindingsI

Known Subclasses:

An interface for classes that can perform substitutions for variables.

Instance Methods

(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

Method Details

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