Package nltk :: Package sem :: Module linearlogic :: Class VariableExpression

type VariableExpression

  object --+        
           |        
  Expression --+    
               |    
AtomicExpression --+
                   |
                  VariableExpression

Instance Methods

[hide private]

unify(self, other, bindings)
'self' must not be bound to anything other than 'other'.

source code

Inherited from AtomicExpression: __eq__, __hash__, __init__, __str__, compile_neg, compile_pos, initialize_labels, simplify

Inherited from Expression: __call__, __repr__, applyto

Method Details

[hide private]

unify(self, other, bindings)

source code

'self' must not be bound to anything other than 'other'.

Parameters:

other - Expression
bindings - BindingDict A dictionary of all current bindings

Returns:

BindingDict A new combined dictionary of of 'bindings' and the new binding

Raises:

UnificationException - If 'self' and 'other' cannot be unified in the context of 'bindings'