Class AllExpressionSubst

source code

                 object --+            
                          |            
                 Expression --+        
                              |        
       VariableBinderExpression --+    
                                  |    
                      AllExpression --+
                                      |
featurelite.SubstituteBindingsI --+   |
                                  |   |
featurelite.SubstituteBindingsMixin --+
                                      |
                                     AllExpressionSubst

Instance Methods

[hide private]

Inherited from AllExpression: __repr__

Inherited from AllExpression (private): _skolemise

Inherited from VariableBinderExpression: __hash__, __init__, __str__, alpha_convert, equals, free, infixify, replace, simplify, subterms, variables

Inherited from VariableBinderExpression (private): _relabel

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

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

Inherited from featurelite.SubstituteBindingsMixin: substitute_bindings

Class Variables

[hide private]

Inherited from AllExpression: PREFIX

Inherited from VariableBinderExpression (private): _counter

Properties

[hide private]

Inherited from object: __class__