This an abstract class for any Expression that binds a variable in an
Expression. This includes LambdaExpressions and Quanitifed
Expressions
|
__init__(self,
variable,
term)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
|
|
replace(self,
variable,
expression,
replace_bound=False)
Replace every instance of 'variable' with 'expression' |
source code
|
|
|
alpha_convert(self,
newvar)
Rename all occurrences of the variable introduced by this variable
binder in the expression to @newvar . |
source code
|
|
|
|
|
free(self,
indvar_only=True)
Return a set of all the free (non-bound) variables in self. |
source code
|
|
|
|
Inherited from Expression :
__and__ ,
__call__ ,
__gt__ ,
__hash__ ,
__lt__ ,
__neg__ ,
__or__ ,
__repr__ ,
__str__ ,
applyto ,
negate ,
substitute_bindings ,
tp_equals
Inherited from object :
__delattr__ ,
__getattribute__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
|