Replaces all occurrences of what by by in where.
Replaces all occurrences of what by by in where.
constant name to replace
constant to insert
expansion tree where to replace
an et with all constants what replaced by constants by
Duplicates the behaviour for Expansion Tress without merges (the constructor is overloaded, so we need to make sure it is called with the correct type)
Duplicates the behaviour for Expansion Tress without merges (the constructor is overloaded, so we need to make sure it is called with the correct type)
constant name to replace
constant to insert
expansion tree where to replace
an et with all constants what replaced by constants by
Replaces all occurrences of the constants what by constants by in the expression where.
Replaces all occurrences of the constants what by constants by in the expression where.
what to replace
what the insert instead
in which expression
the resulting expression
Replaces all occurrences of the constants what by constants by in the expression where.
Replaces all occurrences of the constants what by constants by in the expression where.
what to replace
what the insert instead
in which expression
the resulting expression