Package nltk :: Package inference :: Module tableau :: Class Tableau

Class Tableau

object --+    
         |    
api.Prover --+
             |
            Tableau

Instance Methods

[hide private]

bool

prove(self, goal=None, assumptions=[], debug=False)
Returns: Whether the proof was successful or not. source code

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

Class Variables

[hide private]

_assume_false = False

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

prove(self, goal=None, assumptions=`[]`, debug=False)

source code

Returns: bool: Whether the proof was successful or not.
Overrides: api.Prover.prove: (inherited documentation)

Class Tableau

prove(self, goal=None, assumptions=[], debug=False)

prove(self, goal=None, assumptions=`[]`, debug=False)