Package nltk :: Package inference :: Module api :: Class ModelBuilderCommand

type ModelBuilderCommand

        object --+    
                 |    
TheoremToolCommand --+
                     |
                    ModelBuilderCommand

Known Subclasses:

This class holds a ModelBuilder, a goal, and a list of assumptions. When build_model() is called, the ModelBuilder is executed with the goal and assumptions.

Instance Methods

[hide private]

nltk.sem.evaluate.Valuation

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

source code

model(self, format=None)
Return a string representation of the model

source code

get_model_builder(self)
Return the model builder object

source code

Inherited from TheoremToolCommand: add_assumptions, assumptions, goal, print_assumptions, retract_assumptions

Method Details

[hide private]

build_model(self, verbose=False)

source code

Perform the actual model building.

Returns: nltk.sem.evaluate.Valuation: A model if one is generated; None otherwise.

model(self, format=None)

source code

Return a string representation of the model

Parameters:

simplify - boolean simplify the proof?

Returns:

str

get_model_builder(self)

source code

Return the model builder object

Returns:: ModelBuilder