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

type IndividualVariableExpression

         object --+            
                  |            
SubstituteBindingsI --+        
                      |        
             Expression --+    
                          |    
 AbstractVariableExpression --+
                              |
                             IndividualVariableExpression

Known Subclasses:

This class represents variables that take the form of a single lowercase character (other than 'e') followed by zero or more digits.

Instance Methods

[hide private]

_set_type(self, other_type=?, signature=None)
@see Expression._set_type()

source code

Inherited from AbstractVariableExpression: __eq__, __init__, __str__, findtype, replace, simplify, str, visit

Inherited from Expression: __and__, __call__, __gt__, __hash__, __lt__, __neg__, __neq__, __or__, __repr__, applyto, equiv, free, make_VariableExpression, negate, normalize, substitute_bindings, tp_equals, typecheck, variables

Properties

[hide private]

type

Method Details

[hide private]

_set_type(self, other_type=?, signature=None)

source code

@see Expression._set_type()

Parameters:

other_type - Type to set
signature - dict<str, list<AbstractVariableExpression>> store all variable expressions with a given name

Overrides: Expression._set_type

Property Details

[hide private]

type

Set Method:: _set_type(self, other_type=?, signature=None) - @see Expression._set_type()