@@ -0,0 +1,990 @@
+class Clause %7B%0A  Clause(final int len, final int%5B%5D hgs, final int base, final int neck, final int%5B%5D xs) %7B%0A    this.hgs = hgs; // head+goals pointing to cells in cs%0A    this.base = base; // heap where this starts%0A    this.len = len; // length of heap slice%0A    this.neck = neck; // first after the end of the head%0A    this.xs = xs; // indexables in head%0A    %0A    %0A    System.out.println(%22Length:%22+len);%0A    System.out.println(%22Base:%22+base);%0A    System.out.println(%22Index XS:%22);%0A    for(int i=0; i%3Cxs.length;i++)%0A    System.out.print(%22  %22+xs%5Bi%5D);%0A    System.out.println();%0A    System.out.println(%22Value of the neck:%22+neck);%0A    System.out.println(%22Heap: %22);%0A    for(int i=0; i%3Chgs.length;i++)%0A        System.out.print(%22  %22+hgs%5Bi%5D);%0A  %7D%0A  final int len; %0A  final int%5B%5D hgs;%0A  final int base;%0A  final int neck;%0A  final int%5B%5D xs;%0A %0A  %7D%0Apublic class ClauseTest%7B%0A%09public static void main(String args%5B%5D)%0A%09%7B%0A%09%09int %5B%5D ab=%7B1,2,4%7D;%0A%09%09int %5B%5D bc=%7B6,7,9%7D;%0A%09%09Clause cl=new Clause(10,ab, 7,3 ,bc);%0A%09%09%0A%09%7D%0A%0A%7D%0A

Create Clause.java