Package nltk :: Package inference :: Module prover9 :: Class Prover9Parent

Class Prover9Parent

object --+
         |
        Prover9Parent

Known Subclasses:

mace.Mace
, Prover9

A common class extended by both Prover9 and Mace. It contains the functionality required to convert NLTK-style expressions into Prover9-style expressions.

Instance Methods

[hide private]

__init__(self, timeout=60)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

source code

prover9_input(self, goal, assumptions)
Returns: The input string that should be provided to the prover9 binary.

source code

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Instance Variables

[hide private]

_timeout
The timeout value for prover9.

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, timeout=60)
(Constructor)

source code

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

Overrides: object.__init__: (inherited documentation)

prover9_input(self, goal, assumptions)

source code

Returns:: The input string that should be provided to the prover9 binary. This string is formed based on the goal, assumptions, and timeout value of this object.

Instance Variable Details

[hide private]

_timeout

The timeout value for prover9. If a proof can not be found in this amount of time, then prover9 will return false. (Use 0 for no timeout.)

Class Prover9Parent

__init__(self, timeout=60) (Constructor)

prover9_input(self, goal, assumptions)

_timeout

init(self, timeout=60)
(Constructor)