Package nltk :: Package inference :: Module prover9 :: Class Prover9LimitExceededException

type Prover9LimitExceededException

              object --+            
                       |            
exceptions.BaseException --+        
                           |        
        exceptions.Exception --+    
                               |    
                Prover9Exception --+
                                   |
                                  Prover9LimitExceededException

Instance Methods

[hide private]

Inherited from Prover9Exception: __init__

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