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

Class IndVariableExpression

source code

    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__, skolemise

Method Details [hide private]

__init__(self, variable)
(Constructor)

source code 
Overrides: VariableExpression.__init__

__repr__(self)
(Representation operator)

source code 
Overrides: VariableExpression.__repr__