예제 #1
0
파일: structs.cs 프로젝트: pjt33/MiniSAT.cs
 // Duplicatation (preferred instead):
 public void copyTo(vec <T> copy)
 {
     copy.clear(); copy.growTo(sz);
     if (sz > 0)
     {
         Array.Copy(data, copy.data, sz);
     }
 }
예제 #2
0
파일: structs.cs 프로젝트: pjt33/MiniSAT.cs
 public void moveTo(vec <T> dest)
 {
     dest.clear(); dest.data = data; dest.sz = sz;
     data = null; sz = 0;
 }