Package nltk :: Package sem :: Module drt :: Class DrtBooleanExpression

type DrtBooleanExpression

                       object --+        
                                |        
                      AbstractDrs --+    
                                    |    
               object --+           |    
                        |           |    
logic.SubstituteBindingsI --+       |    
                            |       |    
             logic.Expression --+   |    
                                |   |    
           logic.BinaryExpression --+    
                                    |    
                  DrtBinaryExpression --+
                                        |
               object --+               |
                        |               |
logic.SubstituteBindingsI --+           |
                            |           |
             logic.Expression --+       |
                                |       |
           logic.BinaryExpression --+   |
                                    |   |
              logic.BooleanExpression --+
                                        |
                                       DrtBooleanExpression

Known Subclasses:

Instance Methods

[hide private]

Inherited from DrtBinaryExpression: get_refs

Inherited from DrtBinaryExpression (private): _pretty, _pretty_subex

Inherited from AbstractDrs: __add__, __and__, __gt__, __neg__, __or__, applyto, draw, eliminate_equality, equiv, is_pronoun_function, make_EqualityExpression, make_VariableExpression, pprint, pretty, resolve_anaphora, typecheck

Inherited from AbstractDrs (private): _get_type

Inherited from logic.BooleanExpression (private): _set_type

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

Inherited from logic.BinaryExpression (private): _str_subex

Inherited from logic.Expression: __call__, __hash__, __lt__, __neq__, __repr__, free, negate, normalize, replace, simplify, substitute_bindings, tp_equals, variables

Static Methods

[hide private]

Inherited from DrtBinaryExpression (private): _assemble_pretty

Properties

[hide private]

Inherited from AbstractDrs: type