nltk.inference.prover9.Prover9Parent

class documentation

class Prover9Parent(object): (source)

Known subclasses: nltk.inference.mace.Mace, nltk.inference.prover9.Prover9

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

Method	`binary_locations`	A list of directories that should be searched for the prover9 executables. This list is used by `config_prover9` when searching for the prover9 executables.
Method	`config_prover9`	Undocumented
Method	`prover9_input`	prover9 binary. This string is formed based on the goal, assumptions, and timeout value of this object.
Method	`_call`	Call the binary with the given input.
Method	`_find_binary`	Undocumented
Instance Variable	`_binary_location`	Undocumented
Instance Variable	`_prover9_bin`	Undocumented

def binary_locations(self): (source) ¶

A list of directories that should be searched for the prover9 executables. This list is used by config_prover9 when searching for the prover9 executables.

def config_prover9(self, binary_location, verbose=False): (source) ¶

Undocumented

def prover9_input(self, goal, assumptions): (source) ¶

overridden in nltk.inference.prover9.Prover9

prover9 binary. This string is formed based on the goal, assumptions, and timeout value of this object.

Returns
The input string that should be provided to the

def _call(self, input_str, binary, args=[], verbose=False): (source) ¶

Call the binary with the given input.

Parameters
input_str	A string whose contents are used as stdin.
binary	The location of the binary to call
args	A list of command-line arguments.
verbose	Undocumented
Returns
A tuple (stdout, returncode)
See Also
`config_prover9`

def _find_binary(self, name, verbose=False): (source) ¶

Undocumented

_binary_location = (source) ¶

Undocumented

_prover9_bin = (source) ¶

overridden in nltk.inference.prover9.Prover9

Undocumented