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

Class ModelBuilderCommand

        object --+    
                 |    
TheoremToolCommand --+
                     |
                    ModelBuilderCommand

Known Subclasses:

mace.MaceCommand

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]

__init__(self, modelbuilder, goal=None, assumptions=[]) source code

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

source code

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

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__