Table of Contents

Class: Expression church.py

The abstract class of a lambda calculus expression.

Methods   
__init__
__str__
equals
free
replace
simplify
subterms
variables
  __init__ 
__init__ ( self )

Exceptions   
NotImplementedError
  __str__ 
__str__ ( self )

Exceptions   
NotImplementedError
  equals 
equals ( self,  other )

Are the two expressions equal?

  free 
free ( self )

Set of free variables.

Exceptions   
NotImplementedError
  replace 
replace (
        self,
        variable,
        expression,
        )

Replace all instances of variable with expression.

Exceptions   
NotImplementedError
  simplify 
simplify ( self )

Evaluate the form by repeatedly applying applications.

Exceptions   
NotImplementedError
  subterms 
subterms ( self )

Set of all subterms (including self).

Exceptions   
NotImplementedError
  variables 
variables ( self )

Set of all variables.

Exceptions   
NotImplementedError

Table of Contents

This document was automatically generated on Tue Jul 30 20:58:34 2002 by HappyDoc version 2.0.1