Home       Trees       Indices       Help   
nltk 0.9.5
Package nltk :: Package inference :: Module tableau :: Class Categories
[hide private]
[frames] | no frames]

Class Categories

source code

Class Variables [hide private]
  ATOM = 0
  N_ATOM = 1
  N_EQ = 2
  D_NEG = 3
  N_ALL = 4
  N_EXISTS = 5
  AND = 6
  N_OR = 7
  N_IMP = 8
  OR = 9
  IMP = 10
  N_AND = 11
  IFF = 12
  N_IFF = 13
  EQ = 14
  EXISTS = 15
  ALL = 16
   Home       Trees       Indices       Help   
nltk 0.9.5
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:55 2008 http://epydoc.sourceforge.net