nltk.sem.linearlogic.AtomicExpression

class documentation

class AtomicExpression(Expression): (source)

Known subclasses: nltk.sem.linearlogic.ConstantExpression, nltk.sem.linearlogic.VariableExpression

Constructor: AtomicExpression(name, dependencies)

View In Hierarchy

Undocumented

Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ No summary
Method __ne__ Undocumented
Method __str__ Undocumented
Method compile_neg From Iddo Lev's PhD Dissertation p108-109
Method compile_pos From Iddo Lev's PhD Dissertation p108-109
Method initialize_labels Undocumented
Method simplify If 'self' is bound by 'bindings', return the atomic to which it is bound. Otherwise, return self.
Instance Variable dependencies Undocumented
Instance Variable name Undocumented

Inherited from Expression:

Class Method fromstring Undocumented
Method __call__ Undocumented
Method __repr__ Undocumented
Method applyto Undocumented
Class Variable _linear_logic_parser Undocumented
def __eq__(self, other): (source)

Undocumented

def __hash__(self): (source)

Undocumented

def __init__(self, name, dependencies=None): (source)
Parameters
namestr for the constant name
dependencieslist of int for the indices on which this atom is dependent
def __ne__(self, other): (source)

Undocumented

def __str__(self): (source)

Undocumented

def compile_neg(self, index_counter, glueFormulaFactory): (source)

From Iddo Lev's PhD Dissertation p108-109

Parameters
index_counterCounter for unique indices
glueFormulaFactoryGlueFormula for creating new glue formulas
Returns
(Expression,set) for the compiled linear logic and any newly created glue formulas
def compile_pos(self, index_counter, glueFormulaFactory): (source)

From Iddo Lev's PhD Dissertation p108-109

Parameters
index_counterCounter for unique indices
glueFormulaFactoryGlueFormula for creating new glue formulas
Returns
(Expression,set) for the compiled linear logic and any newly created glue formulas
def initialize_labels(self, fstruct): (source)

Undocumented

def simplify(self, bindings=None): (source)

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

Parameters
bindingsBindingDict A dictionary of bindings used to simplify
Returns
AtomicExpression
dependencies: list = (source)

Undocumented

name = (source)

Undocumented