public Definition EraseNamespaces()
{
return(new Definition
{
Name = Name,
Bound = Bound,
Premises = Premises.Select(x => x.EraseNamespaces()),
Conclusion = Conclusion.EraseNamespaces()
});
}
public Definition Replace(string from, string to)
{
if (from == to)
{
return(this);
}
Debug.WriteLine(from + " --> " + to);
return(new Definition
{
Name = Name,
Bound = Bound,
Premises = Premises.Select(x => x.Replace(from, to)),
Conclusion = Conclusion.Replace(from, to)
});
}