Home       Trees       Indices       Help   
nltk 2.0.1rc1
Package nltk :: Package inference :: Module tableau
[hide private]
[frames] | no frames]

Module tableau

source code

Classes [hide private]
ProverParseError
TableauProver
TableauProverCommand
Agenda
Debug
Categories
Functions [hide private]
 
testTableauProver() source code
 
testHigherOrderTableauProver() source code
 
tableau_test(c, ps=None, verbose=False) source code
 
demo() source code
Variables [hide private]
  _counter = Counter()
  APP = 'APP'
   Home       Trees       Indices       Help   
nltk 2.0.1rc1
Generated by Epydoc 3.0.1 on Mon Apr 11 14:39:41 2011 http://epydoc.sourceforge.net