Class IndVariableExpression

source code

    object --+        
             |        
    Expression --+    
                 |    
VariableExpression --+
                     |
                    IndVariableExpression

An individual variable expression, as determined by is_indvar().

Instance Methods

[hide private]

__init__(self, variable)

source code

__repr__(self)

source code

Inherited from VariableExpression: __hash__, __str__, equals, free, infixify, name, replace, simplify, subterms, variables

Inherited from VariableExpression (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, variable)
(Constructor)

source code

Overrides: VariableExpression.__init__

repr(self)
(Representation operator)

source code

Overrides: VariableExpression.__repr__

Class IndVariableExpression

__init__(self, variable) (Constructor)

__repr__(self) (Representation operator)

init(self, variable)
(Constructor)

repr(self)
(Representation operator)