Package nltk :: Package sem :: Module glue :: Class DrtGlueFormula
[hide private]
[frames] | no frames]

type DrtGlueFormula

source code

 object --+    
          |    
GlueFormula --+
              |
             DrtGlueFormula

Instance Methods [hide private]
 
__init__(self, meaning, glue, indices=None) source code
 
make_VariableExpression(self, name) source code
 
make_LambdaExpression(self, variable, term) source code

Inherited from GlueFormula: __eq__, __repr__, __str__, applyto, compile, lambda_abstract, simplify

Method Details [hide private]

__init__(self, meaning, glue, indices=None)
(Constructor)

source code 
Overrides: GlueFormula.__init__

make_VariableExpression(self, name)

source code 
Overrides: GlueFormula.make_VariableExpression

make_LambdaExpression(self, variable, term)

source code 
Overrides: GlueFormula.make_LambdaExpression