Package nltk :: Package sem :: Module linearlogic :: Class VariableExpression
[hide private]
[frames] | no frames]

type VariableExpression

source code

  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: