Package nltk_lite :: Package parse :: Module category :: Class ApplicationExpressionSubst
[hide private]
[frames] | no frames]

Class ApplicationExpressionSubst

source code

       semantics.logic.Expression --+    
                                    |    
semantics.logic.ApplicationExpression --+
                                        |
 featurestructure.SubstituteBindingsI --+
                                        |
                                       ApplicationExpressionSubst

A lambda application expression, extended to implement the SubstituteBindingsI interface.

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

Inherited from semantics.logic.ApplicationExpression: __hash__, __init__, __repr__, __str__, equals, free, infixify, replace, simplify, subterms, variables

Inherited from semantics.logic.Expression: __eq__, __ne__, skolemise

Properties [hide private]

Inherited from semantics.logic.ApplicationExpression: args, fun, op

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.
Overrides: featurestructure.SubstituteBindingsI.substitute_bindings
(inherited documentation)