Package jazzparser :: Package formalisms :: Package music_halfspan :: Module syntax :: Class UnificationResult
[hide private]
[frames] | no frames]

Class UnificationResult

source code

                       object --+    
                                |    
base.syntax.UnificationResultBase --+
                                    |
                                   UnificationResult

Dummy unification results which allows us to use the unification formalism without actually unifying any variables.

Instance Methods [hide private]
 
apply_all_mappings(self, obj)
No mappings to distinguish variables, since we don't have any.
source code

Inherited from base.syntax.UnificationResultBase: __init__

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

apply_all_mappings(self, obj)

source code 

No mappings to distinguish variables, since we don't have any.

Overrides: base.syntax.UnificationResultBase.apply_all_mappings