Home | Trees | Index | Help |
|
---|
Package nltk_lite :: Package contrib :: Module logic :: Class AllExpression |
|
Expression
--+ |VariableBinderExpression
--+ | AllExpression
Method Summary | |
---|---|
__repr__(self)
| |
Inherited from VariableBinderExpression :
__init__ ,
__hash__ ,
__str__ ,
alpha_convert ,
equals ,
free ,
replace ,
simplify ,
subterms ,
variables
Inherited from Expression :
__eq__ ,
__ne__ ,
skolemise
|
Class Variable Summary | |
---|---|
str |
PREFIX = 'all '
|
Class Variable Details |
---|
PREFIX
|
Home | Trees | Index | Help |
|
---|
Generated by Epydoc 2.1 on Tue Sep 5 09:37:20 2006 | http://epydoc.sf.net |