Package nltk :: Package inference :: Module api :: Class ModelBuilderCommand
[hide private]
[frames] | no frames]

type ModelBuilderCommand

source code

        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