A constant expression, consisting solely of a constant.
|
|
|
equals(self,
other)
Are the two expressions equal, modulo alpha conversion? |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Inherited from Expression :
__eq__ ,
__ne__ ,
clauses ,
normalize ,
replace_unique ,
skolemise ,
skolemize
Inherited from object :
__delattr__ ,
__getattribute__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
|