nltk.inference.api.ParallelProverBuilder

class documentation

class ParallelProverBuilder(Prover, ModelBuilder): (source)

Constructor: ParallelProverBuilder(prover, modelbuilder)

This class stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel. Whichever finishes first, the prover or the model builder, is the result that will be used.

Method	`__init__`	Undocumented
Method	`_build_model`	Perform the actual model building. :return: Whether a model was generated, and the model itself :rtype: tuple(bool, sem.Valuation)
Method	`_prove`	No summary
Method	`_run`	Undocumented
Instance Variable	`_modelbuilder`	Undocumented
Instance Variable	`_prover`	Undocumented

Inherited from Prover:

Method prove No summary

Inherited from ModelBuilder (via Prover):

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

def __init__(self, prover, modelbuilder): (source) ¶

Undocumented

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

overrides nltk.inference.api.ModelBuilder._build_model

Perform the actual model building. :return: Whether a model was generated, and the model itself :rtype: tuple(bool, sem.Valuation)

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

overrides nltk.inference.api.Prover._prove

Returns
tuple: (bool, str)	Whether the proof was successful or not, along with the proof

def _run(self, goal, assumptions, verbose): (source) ¶

Undocumented

_modelbuilder = (source) ¶

Undocumented

_prover = (source) ¶

Undocumented