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

type AtomicExpression

source code

object --+    
         |    
Expression --+
             |
            AtomicExpression
Known Subclasses:
Instance Methods [hide private]
 
__init__(self, name, dependencies=None) source code
 
simplify(self, bindings=None)
If 'self' is bound by 'bindings', return the atomic to which it is bound.		 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, name, dependencies=None)
(Constructor)

source code 
Parameters:
  • name - str for the constant name
  • dependencies - list of int for the indices on which this atom is dependent
Overrides: object.__init__

simplify(self, bindings=None)

source code 

If 'self' is bound by 'bindings', return the atomic to which it is bound. Otherwise, return self.

Parameters:
  • bindings - BindingDict A dictionary of bindings used to simplify
Returns:
AtomicExpression

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,set) 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