Home | Trees | Index | Help |
|
---|
Package nltk_lite :: Package contrib :: Module logic :: Class Operator |
|
Expression
--+ |ConstantExpression
--+ | Operator
Method Summary | |
---|---|
__init__(self,
operator)
| |
__repr__(self)
| |
__str__(self)
| |
Are the two expressions equal, modulo alpha conversion? | |
Evaluate the form by repeatedly applying applications. | |
Inherited from ConstantExpression :
__hash__ ,
free ,
name ,
replace ,
subterms ,
variables
Inherited from Expression :
__eq__ ,
__ne__ ,
skolemise
|
Method Details |
---|
equals(self, other)Are the two expressions equal, modulo alpha conversion?
|
simplify(self)Evaluate the form by repeatedly applying applications.
|
Home | Trees | Index | Help |
|
---|
Generated by Epydoc 2.1 on Tue Sep 5 09:37:21 2006 | http://epydoc.sf.net |