Package nltk :: Package sem :: Module logic :: Class IndividualVariableExpression

[frames] | no frames]

Class IndividualVariableExpression

         object --+            
                  |            
SubstituteBindingsI --+        
                      |        
             Expression --+    
                          |    
         VariableExpression --+
                              |
                             IndividualVariableExpression

Known Subclasses:

drt.DrtIndividualVariableExpression

This class represents variables that take the form of a single lowercase character followed by zero or more digits.

Instance Methods

free(self, indvar_only=True)

source code

Inherited from VariableExpression: __eq__, __init__, replace, simplify, str, variables

Inherited from Expression: __and__, __call__, __gt__, __hash__, __lt__, __neg__, __or__, __repr__, __str__, applyto, negate, substitute_bindings, tp_equals

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

Properties

Inherited from object: __class__

Method Details

free(self, indvar_only=True)

Overrides: VariableExpression.free

See Also: Expression.free()