A variable expression which consists solely of a variable.
|
__init__(self,
variable)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
equals(self,
other)
Allow equality between instances of VariableExpression
and IndVariableExpression . |
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__
|