public Equation Clone() { Expression lhs = LeftHandSide.Clone(); Expression rhs = RightHandSide.Clone(); return(new Equation(lhs, ComparisonOperator, rhs)); }
public Sequent Clone() { var clone = (Sequent)MemberwiseClone(); clone.LeftHandSide = LeftHandSide.Clone(); clone.RightHandSide = RightHandSide.Clone(); return(clone); }