Package nltk :: Package inference :: Module api :: Class ModelBuilder

type ModelBuilder

object --+
         |
        ModelBuilder

Known Subclasses:

Interface for trying to build a model of set of formulas. Open formulas are assumed to be universally quantified. Both the goal and the assumptions are constrained to be formulas of logic.Expression.

Instance Methods

[hide private]

bool

build_model(self, goal=None, assumptions=None, verbose=False)
Perform the actual model building.

source code

tuple of (bool, nltk.sem.evaluate.Valuation)

_build_model(self, goal=None, assumptions=None, verbose=False)
Perform the actual model building.

source code

Method Details

[hide private]

build_model(self, goal=None, assumptions=None, verbose=False)

source code

Perform the actual model building.

Returns: bool: Whether a model was generated

_build_model(self, goal=None, assumptions=None, verbose=False)

source code

Perform the actual model building.

Returns: tuple of (bool, nltk.sem.evaluate.Valuation): Whether a model was generated, and the model itself