nltk_lite.parse.lambdacalculus.ApplicationExpression

Package nltk_lite :: Package parse :: Module lambdacalculus :: Class ApplicationExpression

[show private | hide private]

Class ApplicationExpression

Expression --+
             |
            ApplicationExpression

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

Are the two expressions equal, modulo alpha conversion?

Overrides:: nltk_lite.parse.lambdacalculus.Expression.equals (inherited documentation)

Set of free variables.

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

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)

Evaluate the form by repeatedly applying applications.

Overrides:: nltk_lite.parse.lambdacalculus.Expression.simplify (inherited documentation)

Set of all subterms (including self).

Overrides:: nltk_lite.parse.lambdacalculus.Expression.subterms (inherited documentation)

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