Class ApplicationExpressionSubst

source code

                     object --+        
                              |        
                     Expression --+    
                                  |    
              ApplicationExpression --+
                                      |
featurelite.SubstituteBindingsI --+   |
                                  |   |
featurelite.SubstituteBindingsMixin --+
                                      |
                                     ApplicationExpressionSubst

Instance Methods

[hide private]

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

Inherited from ApplicationExpression (private): _arglist, _args, _functor, _operator, _skolemise

Inherited from Expression: __eq__, __ne__, normalize, replace_unique, skolemise, skolemize

Inherited from object: __delattr__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__

Inherited from featurelite.SubstituteBindingsMixin: substitute_bindings

Properties

[hide private]

Inherited from ApplicationExpression: args, fun, op

Inherited from object: __class__