nltk_lite.contrib.logic.Operator

Package nltk_lite :: Package contrib :: Module logic :: Class Operator

[show private | hide private]

Class Operator

    Expression --+    
                 |    
ConstantExpression --+
                     |
                    Operator

A boolean operator, such as 'not' or 'and'.

Method Summary
	`__init__(self, operator)`
	`__repr__(self)`
	`__str__(self)`
	`equals(self, other)` Are the two expressions equal, modulo alpha conversion?
	`simplify(self)` Evaluate the form by repeatedly applying applications.
Inherited from `ConstantExpression`: `__hash__`, `free`, `name`, `replace`, `subterms`, `variables` Inherited from `Expression`: `__eq__`, `__ne__`, `skolemise`

Method Details

Are the two expressions equal, modulo alpha conversion?

Overrides:: nltk_lite.contrib.logic.ConstantExpression.equals (inherited documentation)

Evaluate the form by repeatedly applying applications.

Overrides:: nltk_lite.contrib.logic.ConstantExpression.simplify (inherited documentation)

Generated by Epydoc 2.1 on Tue Sep 5 09:37:21 2006