nltk.inference.prover9.Prover9Exception

exception documentation

class Prover9Exception(Exception): (source)

Known subclasses: nltk.inference.prover9.Prover9FatalException, nltk.inference.prover9.Prover9LimitExceededException

Constructor: Prover9Exception(returncode, message)

View In Hierarchy

Undocumented

Method __init__ Undocumented
def __init__(self, returncode, message): (source) ΒΆ

Undocumented