Package nltk :: Package sem :: Module logic :: Class AndExpression

type AndExpression

         object --+                
                  |                
SubstituteBindingsI --+            
                      |            
             Expression --+        
                          |        
           BinaryExpression --+    
                              |    
              BooleanExpression --+
                                  |
                                 AndExpression

This class represents conjunctions

Instance Methods

[hide private]

getOp(self)

source code

_str_subex(self, subex)

source code

Inherited from BooleanExpression (private): _set_type

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

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

[hide private]

Inherited from BinaryExpression: type

Method Details

[hide private]

_str_subex(self, subex)

source code

Overrides: BinaryExpression._str_subex