For more information on the search, visit the help page.
Debug
__add__
__init__
line
indent
lines
verbose
tableau
Agenda
Categories
TableauProver
TableauProverCommand
ProverParseError
demo
tableau_test
testHigherOrderTableauProver
testTableauProver
_counter
nltk.inference.tableau.Debug
nltk
inference
class Debug(object): (source)
Constructor: Debug(verbose, indent, lines)
Debug(verbose, indent, lines)
View In Hierarchy
Undocumented