C# (CSharp) SharpSAT IntVectorの例

コード例 #1

ファイル: sharp_stl.cs プロジェクト: vmkc/research-environment

 public IntVector(IntVector cp)
 {
     numElements = cp.numElements;
     elements    = new int[cp.elements.Length];
     Array.Copy(cp.elements, elements, numElements);
 }

コード例 #2

ファイル: basic_classes.cs プロジェクト: vmkc/research-environment

 public FreeList(VarVector vars)
 {
     free_list = new IntVector(16);
     variables = vars;
 }