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) }); }