The abstract class of a lambda calculus expression.
Methods
|
|
__init__
__str__
equals
free
replace
simplify
subterms
variables
|
|
__init__
|
__init__ ( self )
|
|
__str__
|
__str__ ( self )
|
|
equals
|
equals ( self, other )
Are the two expressions equal?
|
|
free
|
free ( self )
Set of free variables.
|
|
replace
|
replace (
self,
variable,
expression,
)
Replace all instances of variable with expression.
|
|
simplify
|
simplify ( self )
Evaluate the form by repeatedly applying applications.
|
|
subterms
|
subterms ( self )
Set of all subterms (including self).
|
|
variables
|
variables ( self )
Set of all variables.
|