Package nltk :: Package sem :: Module logic :: Class FunctionVariableExpression

type FunctionVariableExpression

         object --+            
                  |            
SubstituteBindingsI --+        
                      |        
             Expression --+    
                          |    
 AbstractVariableExpression --+
                              |
                             FunctionVariableExpression

Known Subclasses:

drt.DrtFunctionVariableExpression

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

Instance Methods

[hide private]

free(self, indvar_only=True)
Return a set of all the free (non-bound) variables in self.

source code

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

Inherited from AbstractVariableExpression (private): _set_type

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

Class Variables

[hide private]

type = ?

Method Details

[hide private]

free(self, indvar_only=True)

source code

Return a set of all the free (non-bound) variables in self. Variables serving as predicates are not included.

Parameters:

indvar_only - boolean only return individual variables?

Returns:

set of Variables

Overrides: Expression.free

See Also: Expression.free()