Class ApplicationExpressionSubst

source code

       semantics.logic.Expression --+    
                                    |    
semantics.logic.ApplicationExpression --+
                                        |
                  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.ApplicationExpression (private): _arglist, _args, _functor, _operator, _skolemise

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