Package nltk :: Package inference :: Module api :: Class ProverCommandDecorator

[frames] | no frames]

type ProverCommandDecorator

             object --+        
                      |        
     TheoremToolCommand --+    
                          |    
TheoremToolCommandDecorator --+
                              |
             object --+       |
                      |       |
     TheoremToolCommand --+   |
                          |   |
              ProverCommand --+
                              |
                             ProverCommandDecorator

Known Subclasses:

A base decorator for the ProverCommand class from which other prover command decorators can extend.

Instance Methods

__init__(self, proverCommand)

source code

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

source code

proof(self, simplify=True)
Return the proof string

source code

decorate_proof(self, proof_string, simplify=True)
Modify and return the proof string

source code

get_prover(self)
Return the prover object

source code

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

Method Details

init(self, proverCommand)
(Constructor)

Parameters:

proverCommand - ProverCommand to decorate

Overrides: TheoremToolCommandDecorator.__init__

prove(self, verbose=False)

Perform the actual proof.

Overrides: ProverCommand.prove: (inherited documentation)

proof(self, simplify=True)

Return the proof string

Parameters:

simplify - boolean simplify the proof?

Returns:

str

Overrides: ProverCommand.proof

decorate_proof(self, proof_string, simplify=True)

Modify and return the proof string

Parameters:

proof_string - str the proof to decorate
simplify - boolean simplify the proof?

Returns:

str

get_prover(self)

Return the prover object

Returns:: Prover
Overrides: ProverCommand.get_prover: (inherited documentation)