Table of Contents

Class: VariableExpression church.py

A variable expression which consists solely of a variable.

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

  __str__ 
__str__ ( self )

  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