Package nltk :: Package sem :: Module linearlogic :: Class UnificationException
[hide private]
[frames] | no frames]

type UnificationException

source code

              object --+        
                       |        
exceptions.BaseException --+    
                           |    
        exceptions.Exception --+
                               |
                              UnificationException

Instance Methods [hide private]
 
__init__(self, a, b, bindings)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
source code

Inherited from exceptions.Exception: __new__

Inherited from exceptions.BaseException: __delattr__, __getattribute__, __getitem__, __getslice__, __reduce__, __repr__, __setattr__, __setstate__, __str__

Properties [hide private]

Inherited from exceptions.BaseException: args, message

Method Details [hide private]

__init__(self, a, b, bindings)
(Constructor)

source code 

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: exceptions.BaseException.__init__
(inherited documentation)