Package nltk :: Package sem :: Module logic :: Class EqualityExpression

[frames] | no frames]

type EqualityExpression

         object --+            
                  |            
SubstituteBindingsI --+        
                      |        
             Expression --+    
                          |    
           BinaryExpression --+
                              |
                             EqualityExpression

Known Subclasses:

drt.DrtEqualityExpression

This class represents equality expressions like "(x = y)".

Instance Methods

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

source code

getOp(self)

source code

Inherited from BinaryExpression: __eq__, __init__, __str__, findtype, str, visit

Inherited from BinaryExpression (private): _str_subex

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

Properties

Inherited from BinaryExpression: 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