Package nltk_lite :: Package contrib :: Module logic :: Class Operator
[show private | hide private]
[frames | no frames]

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

equals(self, other)

Are the two expressions equal, modulo alpha conversion?
Overrides:
nltk_lite.contrib.logic.ConstantExpression.equals (inherited documentation)

simplify(self)

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 http://epydoc.sf.net