Class SomeExpression

source code

          object --+        
                   |        
          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          SomeExpression

Known Subclasses:: SomeExpressionSubst

An existential quantification expression: some x.M.

Instance Methods

[hide private]

_skolemise(self, bound_vars, counter)

source code

__repr__(self)
repr(x)

source code

Inherited from VariableBinderExpression: __hash__, __init__, __str__, alpha_convert, equals, free, infixify, replace, simplify, subterms, variables

Inherited from VariableBinderExpression (private): _relabel

Inherited from Expression: __eq__, __ne__, clauses, normalize, replace_unique, skolemise, skolemize

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

Class Variables

[hide private]

PREFIX = 'some '

Inherited from VariableBinderExpression (private): _counter

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

_skolemise(self, bound_vars, counter)

source code

Overrides: Expression._skolemise

repr(self)
(Representation operator)

source code

repr(x)

Overrides: Expression.__repr__

Class SomeExpression

_skolemise(self, bound_vars, counter)

__repr__(self) (Representation operator)

repr(self)
(Representation operator)