Package nltk_lite :: Package parse :: Module lambdacalculus :: Class ApplicationExpression
[show private | hide private]
[frames | no frames]

Class ApplicationExpression

Expression --+
             |
            ApplicationExpression

Known Subclasses:
ApplicationExpressionSubst

An application expression: (M N).
Method Summary
  __init__(self, first, second)
  __hash__(self)
  __repr__(self)
  __str__(self)
  equals(self, other)
Are the two expressions equal, modulo alpha conversion?
  free(self)
Set of free variables.
  replace(self, variable, expression)
Replace all instances of variable v with expression E in self, where v is free in self.
  simplify(self)
Evaluate the form by repeatedly applying applications.
  subterms(self)
Set of all subterms (including self).
  variables(self)
Set of all variables.
Inherited from Expression: __eq__, __ne__, skolemise

Method Details

equals(self, other)

Are the two expressions equal, modulo alpha conversion?
Overrides:
nltk_lite.parse.lambdacalculus.Expression.equals (inherited documentation)

free(self)

Set of free variables.
Overrides:
nltk_lite.parse.lambdacalculus.Expression.free (inherited documentation)

replace(self, variable, expression)

Replace all instances of variable v with expression E in self, where v is free in self.
Overrides:
nltk_lite.parse.lambdacalculus.Expression.replace (inherited documentation)

simplify(self)

Evaluate the form by repeatedly applying applications.
Overrides:
nltk_lite.parse.lambdacalculus.Expression.simplify (inherited documentation)

subterms(self)

Set of all subterms (including self).
Overrides:
nltk_lite.parse.lambdacalculus.Expression.subterms (inherited documentation)

variables(self)

Set of all variables.
Overrides:
nltk_lite.parse.lambdacalculus.Expression.variables (inherited documentation)

Generated by Epydoc 2.1 on Tue Sep 5 09:37:21 2006 http://epydoc.sf.net