Package jazzparser :: Package formalisms :: Package base :: Module syntax :: Class UnificationResultBase

Class UnificationResultBase

object --+
         |
        UnificationResultBase

Known Subclasses:

music_halfspan.syntax.UnificationResult

Class for the object returned as the result of unification. This just bundles together the various bits of information that you might need to get at after performing unification. It should be subclassed to add information specific to the formalism.

Instance Methods

[hide private]

__init__(self, result, constraints, inputs)
x.__init__(...) initializes x; see help(type(x)) for signature

source code

apply_all_mappings(self, obj)
Most types of unification will require some mapping of variable names to be applied to ensure they don't get clobbered.

source code

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]

init(self, result, constraints, inputs)
(Constructor)

source code

x.__init__(...) initializes x; see help(type(x)) for signature

Overrides: object.__init__: (inherited documentation)

apply_all_mappings(self, obj)

source code

Most types of unification will require some mapping of variable names to be applied to ensure they don't get clobbered. The unification result should store all these mappings and supply this method to apply them all at once to a category.

Class UnificationResultBase

__init__(self, result, constraints, inputs) (Constructor)

apply_all_mappings(self, obj)

init(self, result, constraints, inputs)
(Constructor)