Package nltk :: Package inference :: Module tableau :: Class TableauProverCommand

type TableauProverCommand

            object --+            
                     |            
api.TheoremToolCommand --+        
                         |        
api.BaseTheoremToolCommand --+    
                             |    
            object --+       |    
                     |       |    
api.TheoremToolCommand --+   |    
                         |   |    
         api.ProverCommand --+    
                             |    
         api.BaseProverCommand --+
                                 |
                                TableauProverCommand

Instance Methods

[hide private]

__init__(self, goal=None, assumptions=None, prover=None)

source code

Inherited from api.BaseProverCommand: decorate_proof, get_prover, proof, prove

Inherited from api.BaseTheoremToolCommand: add_assumptions, assumptions, goal, print_assumptions, retract_assumptions

Instance Variables

[hide private]

Inherited from api.BaseProverCommand (private): _prover

Inherited from api.BaseTheoremToolCommand (private): _result

Method Details

[hide private]

init(self, goal=None, assumptions=None, prover=None)
(Constructor)

source code

Parameters:

goal (logic.Expression) - Input expression to prove
assumptions (list of logic.Expression) - Input expressions to use as assumptions in the proof.

Overrides: api.BaseTheoremToolCommand.__init__

type TableauProverCommand

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

init(self, goal=None, assumptions=None, prover=None)
(Constructor)