Package nltk :: Package sem :: Module logic :: Class QuantifiedExpression

[frames] | no frames]

type QuantifiedExpression

         object --+            
                  |            
SubstituteBindingsI --+        
                      |        
             Expression --+    
                          |    
   VariableBinderExpression --+
                              |
                             QuantifiedExpression

Known Subclasses:

Instance Methods

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

source code

source code

Inherited from VariableBinderExpression: __eq__, __init__, alpha_convert, findtype, free, replace, variables, visit

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

Properties

type

Method Details

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

@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

str(self)
(Informal representation operator)

Overrides: Expression.__str__

Property Details

type