nltk.inference.mace.Mace

class documentation

Constructor: Mace(end_size)

Undocumented

Method	`__init__`	Undocumented
Method	`_build_model`	Use Mace4 to build a first order model.
Method	`_call_mace4`	Call the `mace4` binary with the given input.
Instance Variable	`_end_size`	The maximum model size that Mace will try before simply returning false. (Use -1 for no maximum.)
Instance Variable	`_mace4_bin`	Undocumented

Inherited from Prover9Parent:

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

Inherited from ModelBuilder (via Prover9Parent):

Method build_model Perform the actual model building. :return: Whether a model was generated :rtype: bool

def __init__(self, end_size=500): (source) ¶

Undocumented

def _build_model(self, goal=None, assumptions=None, verbose=False): (source) ¶

overrides nltk.inference.api.ModelBuilder._build_model

Use Mace4 to build a first order model.

else False

Returns
`True` if a model was found (i.e. Mace returns value of 0),

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

Call the mace4 binary with the given input.

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

The maximum model size that Mace will try before simply returning false. (Use -1 for no maximum.)

Undocumented