Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module logic :: Class IndVariableExpression
[hide private]
[frames] | no frames]

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__