nltk.sem.linearlogic.ImpExpression

class documentation

class ImpExpression(Expression): (source)

Constructor: ImpExpression(antecedent, consequent)

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 Undocumented
Method unify Both the antecedent and consequent of 'self' and 'other' must unify.
Instance Variable antecedent Undocumented
Instance Variable consequent 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, antecedent, consequent): (source)
Parameters
antecedentExpression for the antecedent
consequentExpression for the consequent
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,list of GlueFormula) 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)

Undocumented

def unify(self, other, bindings): (source)

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

Parameters
otherImpExpression
bindingsBindingDict A dictionary of all current bindings
Returns
BindingDict A new combined dictionary of of 'bindings' and any new bindings
Raises
UnificationExceptionIf 'self' and 'other' cannot be unified in the context of 'bindings'
antecedent = (source)

Undocumented

consequent = (source)

Undocumented