Ejemplo n.º 1
0
        public Equation Clone()
        {
            Expression lhs = LeftHandSide.Clone();
            Expression rhs = RightHandSide.Clone();

            return(new Equation(lhs, ComparisonOperator, rhs));
        }
Ejemplo n.º 2
0
        public Sequent Clone()
        {
            var clone = (Sequent)MemberwiseClone();

            clone.LeftHandSide  = LeftHandSide.Clone();
            clone.RightHandSide = RightHandSide.Clone();

            return(clone);
        }