C# (CSharp) ComplexSet Examples

Example #1

File: TemplateParts.cs Project: ZingModelChecker/Zing

            public override object Clone()
            {
                ComplexSet newObj = new ComplexSet(this);

                foreach (Z.Pointer ptr in this.ArrayList)
                    newObj.ArrayList.Add(ptr);

                return newObj;
            }

Example #2

File: TemplateParts.cs Project: ZingModelChecker/Zing

			private ComplexSet(ComplexSet c) : base(c) { }