Esempio n. 1
0
        public Sequent Clone()
        {
            var clone = (Sequent)MemberwiseClone();

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

            return(clone);
        }