Package jazzparser :: Package formalisms :: Package base :: Module syntax :: Class UnificationResultBase
[hide private]
[frames] | no frames]

Class UnificationResultBase

source code

object --+
         |
        UnificationResultBase
Known Subclasses:

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.