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

Class Operator

source code

    Expression --+    
                 |    
ConstantExpression --+
                     |
                    Operator

A boolean operator, such as 'not' or 'and', or the equality relation ('=').

Instance Methods [hide private]
 
__init__(self, operator) source code
 
equals(self, other)
Are the two expressions equal, modulo alpha conversion?
source code
 
simplify(self)
Evaluate the form by repeatedly applying applications.
source code
 
__str__(self) source code
 
__repr__(self) source code

Inherited from ConstantExpression: __hash__, free, infixify, name, replace, subterms, variables

Inherited from ConstantExpression (private): _skolemise

Inherited from Expression: __eq__, __ne__, skolemise

Method Details [hide private]

__init__(self, operator)
(Constructor)

source code 
Overrides: ConstantExpression.__init__

equals(self, other)

source code 

Are the two expressions equal, modulo alpha conversion?

Overrides: ConstantExpression.equals

simplify(self)

source code 

Evaluate the form by repeatedly applying applications.

Overrides: ConstantExpression.simplify

__str__(self)
(Informal representation operator)

source code 
Overrides: ConstantExpression.__str__

__repr__(self)
(Representation operator)

source code 
Overrides: ConstantExpression.__repr__