コード例 #1
0
 public Iter3(Sym12TernaryTable table, int arg3, int index0) : base(table, index0)
 {
     this.arg3 = arg3;
     while (index != Empty && table.Arg3(index) != arg3)
     {
         index = table.index3.Next(index);
     }
 }
コード例 #2
0
        //////////////////////////////////////////////////////////////////////////////
        //////////////////////////////////////////////////////////////////////////////

        public static Obj Copy(Sym12TernaryTable[] tables)
        {
            int count = 0;

            for (int i = 0; i < tables.Length; i++)
            {
                count += tables[i].count;
            }

            if (count == 0)
            {
                return(EmptyRelObj.singleton);
            }

            Obj[] col1 = new Obj[count];
            Obj[] col2 = new Obj[count];
            Obj[] col3 = new Obj[count];

            int next = 0;

            for (int iT = 0; iT < tables.Length; iT++)
            {
                Sym12TernaryTable table    = tables[iT];
                SurrObjMapper     mapper12 = table.mapper12;
                SurrObjMapper     mapper3  = table.mapper3;
                int size = table.Capacity();
                for (int iS = 0; iS < size; iS++)
                {
                    int arg2 = table.Arg2OrEmptyMarker(iS);
                    if (arg2 != Empty)
                    {
                        col1[next] = mapper12(table.Arg1OrNext(iS));
                        col2[next] = mapper12(arg2);
                        col3[next] = mapper3(table.Arg3(iS));
                        next++;
                    }
                }
            }
            Debug.Assert(next == count);

            return(Builder.CreateTernRel(col1, col2, col3, count));
        }