Package nltk :: Package sem :: Module logic :: Class EventVariableExpression
[hide private]
[frames] | no frames]

type EventVariableExpression

source code

         object --+                
                  |                
SubstituteBindingsI --+            
                      |            
             Expression --+        
                          |        
 AbstractVariableExpression --+    
                              |    
   IndividualVariableExpression --+
                                  |
                                 EventVariableExpression
Known Subclasses:

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

Instance Methods [hide private]

Inherited from IndividualVariableExpression (private): _set_type

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

Class Variables [hide private]
  type = v