Table of Contents

Class: LambdaExpression church.py

A lambda expression: \x.M.

Base Classes   
Expression
Methods   
__init__
__str__
equals
free
replace
simplify
subterms
variables
  __init__ 
__init__ (
        self,
        variable,
        term,
        )

  __str__ 
__str__ ( self,  continuation=0 )

  equals 
equals ( self,  other )

  free 
free ( self )

  replace 
replace (
        self,
        variable,
        expression,
        )

  simplify 
simplify ( self )

  subterms 
subterms ( self )

  variables 
variables ( self )


Table of Contents

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