Class Operator

source code

    object --+        
             |        
    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__, clauses, normalize, replace_unique, skolemise, skolemize

Inherited from object: __delattr__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__

Properties

[hide private]

Inherited from object: __class__

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__

Class Operator

__init__(self, operator) (Constructor)

equals(self, other)

simplify(self)

__str__(self) (Informal representation operator)

__repr__(self) (Representation operator)

init(self, operator)
(Constructor)

str(self)
(Informal representation operator)

repr(self)
(Representation operator)