public void Eliminate(TFunc function, SymValue arg)
{
SymValue value = Find(arg);
DoubleImmutableMap <SymValue, TFunc, SymValue> newTermMap = TermMap.Remove(value, function);
if (newTermMap == TermMap)
{
return;
}
TermMap = newTermMap;
AddEliminateEdgeUpdate(value, function);
}
public void Eliminate(TFunc function)
{
TermMap = TermMap.Remove(this.const_root, function);
AddEliminateEdgeUpdate(this.const_root, function);
}