Package nltk :: Package inference :: Module tableau :: Class TableauProverCommand
[hide private]
[frames] | no frames]

type TableauProverCommand

source code

            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__