Package nltk :: Package inference :: Module api :: Class ProverCommand

Class ProverCommand

        object --+    
                 |    
TheoremToolCommand --+
                     |
                    ProverCommand

Known Subclasses:

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

Instance Methods

[hide private]

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

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

source code

show_proof(self)

source code

get_prover(self)

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__

Instance Variables

[hide private]

_prover
The theorem tool to execute with the assumptions

Inherited from TheoremToolCommand (private): _assumptions, _goal, _result

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, prover, goal=None, assumptions=`[]`)
(Constructor)

source code

Parameters:

prover (Prover) - The theorem tool to execute with the assumptions

Overrides: TheoremToolCommand.__init__

See Also: TheoremToolCommand

prove(self, verbose=False)

source code

Perform the actual proof. Store the result to prevent unnecessary re-proving.

Class ProverCommand

__init__(self, prover, goal=None, assumptions=[]) (Constructor)

prove(self, verbose=False)

init(self, prover, goal=None, assumptions=`[]`)
(Constructor)