Home       Trees       Indices       Help   
nltk 2.0.1rc1
Package nltk :: Package sem :: Module linearlogic :: Class ImpExpression
[hide private]
[frames] | no frames]

type ImpExpression

source code

object --+    
         |    
Expression --+
             |
            ImpExpression
Instance Methods [hide private]
 
__init__(self, antecedent, consequent) source code
 
simplify(self, bindings=None) source code
 
unify(self, other, bindings)
Both the antecedent and consequent of 'self' and 'other' must unify.		 source code
 
compile_pos(self, index_counter, glueFormulaFactory)
From Iddo Lev's PhD Dissertation p108-109		 source code
 
compile_neg(self, index_counter, glueFormulaFactory)
From Iddo Lev's PhD Dissertation p108-109		 source code
 
initialize_labels(self, fstruct) source code
 
__eq__(self, other) source code
 
__str__(self) source code
 
__hash__(self) source code

Inherited from Expression: __call__, __repr__, applyto

Method Details [hide private]

__init__(self, antecedent, consequent)
(Constructor)

source code 
Parameters:
  • antecedent - Expression for the antecedent
  • consequent - Expression for the consequent
Overrides: object.__init__

unify(self, other, bindings)

source code 

Both the antecedent and consequent of 'self' and 'other' must unify.

Parameters:
  • other - ImpExpression
  • bindings - BindingDict A dictionary of all current bindings
Returns:
BindingDict A new combined dictionary of of 'bindings' and any new bindings
Raises:

compile_pos(self, index_counter, glueFormulaFactory)

source code 

From Iddo Lev's PhD Dissertation p108-109

Parameters:
  • index_counter - Counter for unique indices
  • glueFormulaFactory - GlueFormula for creating new glue formulas
Returns:
(Expression,set) for the compiled linear logic and any newly created glue formulas

compile_neg(self, index_counter, glueFormulaFactory)

source code 

From Iddo Lev's PhD Dissertation p108-109

Parameters:
  • index_counter - Counter for unique indices
  • glueFormulaFactory - GlueFormula for creating new glue formulas
Returns:
(Expression,list of GlueFormula) for the compiled linear logic and any newly created glue formulas

__str__(self)
(Informal representation operator)

source code 
Overrides: object.__str__
(inherited documentation)

__hash__(self)
(Hashing function)

source code 
Overrides: object.__hash__
(inherited documentation)

   Home       Trees       Indices       Help   
nltk 2.0.1rc1
Generated by Epydoc 3.0.1 on Mon Apr 11 14:39:50 2011 http://epydoc.sourceforge.net