Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module logic :: Class ApplicationExpressionSubst
[hide private]
[frames] | no frames]

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 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__