A variable binding expression: e.g. \x.M.
|
__init__(self,
variable,
term)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
|
|
_relabel(self,
other)
Relabel other 's bound variables to be the same as
self 's variable. |
source code
|
|
|
|
|
|
|
|
|
replace(self,
variable,
expression,
replace_bound=True)
Replace all instances of variable v with expression E in self, where
v is free in self. |
source code
|
|
|
alpha_convert(self,
newvar)
Rename all occurrences of the variable introduced by this variable
binder in the expression to @newvar . |
source code
|
|
|
|
|
|
|
|
|
|
Inherited from Expression :
__eq__ ,
__ne__ ,
__repr__ ,
clauses ,
normalize ,
replace_unique ,
skolemise ,
skolemize
Inherited from object :
__delattr__ ,
__getattribute__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
|