Classes
class	N

Public Member Functions
void	testLattice0 ()

void	testLattice1 ()

void	testLattice10 ()

void	testLattice11 ()

void	testLattice12 ()

void	testLattice12a ()

void	testLattice12b ()

void	testLattice12d ()

void	testLattice13 ()

void	testLattice14 ()

void	testLattice15 ()

void	testLattice16 ()

void	testLattice17 ()

void	testLattice2 ()

void	testLattice3 ()

void	testLattice4 ()

void	testLattice5 ()

void	testLattice6 ()

void	testLattice6_1 ()

void	testLattice7 ()

void	testLattice8 ()

void	testLattice9 ()

Static Private Member Functions
static void	test (N top)

Detailed Description

Definition at line 79 of file TestLattice.java.

Member Function Documentation

◆ test()

static void com.cliffc.aa.TestLattice.test ( N top )

staticprivate

Definition at line 156 of file TestLattice.java.

                                   {
     // Fill in the reverse edges
     top.walk_set_sup(new BitSet());
     // Pretty print
     top.walk_print(new BitSet(),0);
  
     // Find and barf redundant edges.  Computes reachable.
     assertTrue(top.walk_min_edge(new int[N.ID],null));
     for( int i=0; i<N.ID; i++ ) {
       N n = N.NS.at(i);
       n._reaches.set(i); // Add self to reaches
       n._cnt = n._reaches.cardinality();
     }
  
     // Demand dual symmetry: A->B === ~B->~A
     assertTrue(top.walk_dual(new BitSet()));
  
     // Check for single lowest unique meet.  BAD: For all nodes, compute Reach
     // (to Bot, and already done).  For each pair of nodes compute the
     // intersection of their reach sets; this is their common reachable set
     // just following graph edges.  The LCA will be a node with a Reach set
     // equal to the intersection; it may not exist.  If it does not, the set of
     // nodes with the largest Reach sets make a good error message.
     int errs=0;
     for( N a : N.NS )
       for( N b : N.NS ) if( a._id < b._id ) { // triangle efficiency
           BitSet as = a._reaches;
           BitSet bs = b._reaches;
           N meet = null;
           forall_reaches:
           for( int x=as.nextSetBit(0); x>=0; x=as.nextSetBit(x+1) ) {
             if( bs.get(x) ) {
               N c = N.NS.at(x); // Common in both reaches sets
               for( N sub : c._subs )
                 if( as.get(sub._id) && bs.get(sub._id) )
                   continue forall_reaches; // node is inside both a & b reaches sets, so is not unique meet
               if( meet == null ) meet = c; // Found a unique meet point
               else {                       // Found a 2nd meet point... so not unique
                 errs++;
                 System.out.println("No meet found for "+a._t+" and "+b._t+", tied candidates are: "+meet._t+" and "+c._t);
                 break;
               }
             }
           }
         }
     assertEquals("Found errors", 0, errs);
   }

References com.cliffc.aa.TestLattice.N._cnt, com.cliffc.aa.TestLattice.N._id, com.cliffc.aa.TestLattice.N._reaches, com.cliffc.aa.TestLattice.N._subs, com.cliffc.aa.TestLattice.N._t, com.cliffc.aa.TestLattice.N.ID, com.cliffc.aa.TestLattice.N.NS, com.cliffc.aa.TestLattice.N.walk_dual(), com.cliffc.aa.TestLattice.N.walk_min_edge(), com.cliffc.aa.TestLattice.N.walk_print(), and com.cliffc.aa.TestLattice.N.walk_set_sup().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ testLattice0()

void com.cliffc.aa.TestLattice.testLattice0 ( )

Definition at line 221 of file TestLattice.java.

                                    {
     N.reset();
     N scal= new N( "scalar");
     N num = new N("num" ,scal);
     N int8= new N("int8",num );
  
     N oop0= new N( "oop?",scal);
     N str0= new N( "str?",oop0);
     N tup0= new N( "tup?",oop0);
     N str = new N( "str" ,str0);
     N tup = new N( "tup" ,tup0);
  
     N nil = new N( "0",str0,tup0,int8);
  
     N abc = new N( "\"abc\"",str);
     N def = new N( "\"def\"",str);
     N flx = new N( "@{x}"   ,tup);
     N fly = new N( "@{y}"   ,tup);
     N strx= new N("~str" ,abc,def);
     N tupx= new N("~tup" ,flx,fly);
     N str_= new N("~str+0",strx,nil);
     N tup_= new N("~tup+0",tupx,nil);
     N oop_= new N("~oop+0",str_,tup_);
  
     N i3  = new N("42",int8 );
     N xint= new N("~int8",i3,nil );
     N xnum= new N("~num",xint);
  
     N xscl= new N( "~scalar",oop_,xnum);
     // Mark the non-centerline duals
     scal.set_dual(xscl);
     num .set_dual(xnum);
     int8.set_dual(xint);
     oop0.set_dual(oop_);
     str0.set_dual(str_);
     tup0.set_dual(tup_);
     str .set_dual(strx);
     tup .set_dual(tupx);
  
     test(xscl);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice1()

void com.cliffc.aa.TestLattice.testLattice1 ( )

Definition at line 274 of file TestLattice.java.

                                            {
     N.reset();
     N  ta0 = new N("[]?"   );
     N  tx0 = new N("[x]?"  ,ta0);
     N  tb0 = new N("[b]?"  ,ta0);
     N  ty0 = new N("[x,y]?",tx0);
     N  ta  = new N("[]"    ,ta0);
     N  tx  = new N("[x]"   ,ta,tx0);
     N  tb  = new N("[b]"   ,ta,tb0);
     N  ty  = new N("[x,y]" ,tx,ty0);
  
     N nil  = new N("0", ty0,tb0 );
  
     N xty  = new N("~[x,y]",ty);
     N xtx  = new N("~[x]",xty);
     N xtb  = new N("~[b]",tb);
     N xta  = new N("~[]",xtx,xtb);
  
     N xty0= new N("~[x,y]+?",xty,nil);
     N xtx0= new N("~[x]+?",xtx,xty0);
     N xtb0= new N("~[b]+?",xtb,nil);
     N xta0= new N("~[]+?",xta,xtx0,xtb0);
  
     // Mark the non-centerline duals
     xta0.set_dual(ta0);
     xtx0.set_dual(tx0);
     xtb0.set_dual(tb0);
     xty0.set_dual(ty0);
     xta .set_dual(ta );
     xtx .set_dual(tx );
     xtb .set_dual(tb );
     xty .set_dual(ty );
  
     test(xta0);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice10()

void com.cliffc.aa.TestLattice.testLattice10 ( )

Definition at line 911 of file TestLattice.java.

                                             {
     N.reset();
     N x256 = new N("{ 2&5&6}");
  
     N x25  = new N("{ 2&5}",x256);
     N x26  = new N("{ 2&6}",x256);
     N x56  = new N("{ 5&6}",x256);
  
     N c2   = new N("2",x25,x26);
     N c5   = new N("5",x25,x56);
     N c6   = new N("6",x26,x56);
  
     N o25  = new N("{+2+5}",c2,c5);
     N o26  = new N("{+2+6}",c2,c6);
     N o56  = new N("{+5+6}",c5,c6);
  
     N o256 = new N("{+2+5+6}",o25,o26,o56);
  
     // Mark the non-centerline duals
     x256.set_dual(o256);
     x25 .set_dual(o25 );
     x26 .set_dual(o26 );
     x56 .set_dual(o56 );
  
     test(o256);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice11()

void com.cliffc.aa.TestLattice.testLattice11 ( )

Definition at line 955 of file TestLattice.java.

                                             {
     N.reset();
     N x256 = new N("{ 2&5&6}");
  
     N x25  = new N("{ 2&5}",x256);
     N x26  = new N("{ 2&6}",x256);
     N x56  = new N("{ 5&6}",x256);
  
     N x2   = new N("&2",x25,x26);
     N x5   = new N("&5",x25,x56);
     N x6   = new N("&6",x26,x56);
  
     N o2   = new N("+2",x2);
     N o5   = new N("+5",x5);
     N o6   = new N("+6",x6);
  
     N o25  = new N("{+2+5}",o2,o5);
     N o26  = new N("{+2+6}",o2,o6);
     N o56  = new N("{+5+6}",o5,o6);
  
     N o256 = new N("{+2+5+6}",o25,o26,o56);
  
     // Mark the non-centerline duals
     x256.set_dual(o256);
     x25 .set_dual(o25 );
     x26 .set_dual(o26 );
     x56 .set_dual(o56 );
  
     x2  .set_dual(o2  );
     x5  .set_dual(o5  );
     x6  .set_dual(o6  );
  
     test(o256);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice12()

void com.cliffc.aa.TestLattice.testLattice12 ( )

Definition at line 1007 of file TestLattice.java.

                                     {
     N.reset();
     N x256 = new N("{ 2&5&6}");
  
     N x25  = new N("{ 2&5}",x256);
     N x26  = new N("{ 2&6}",x256);
     N x56  = new N("{ 5&6}",x256);
  
     N x2   = new N("&2",x25,x26);
     N x5   = new N("&5",x25,x56);
     N x6   = new N("&6",x26,x56);
  
     N mt   = new N("[]",x2,x5,x6);
  
     N o2   = new N("+2",mt);
     N o5   = new N("+5",mt);
     N o6   = new N("+6",mt);
  
     N o25  = new N("{+2+5}",o2,o5);
     N o26  = new N("{+2+6}",o2,o6);
     N o56  = new N("{+5+6}",o5,o6);
  
     N o256 = new N("{+2+5+6}",o25,o26,o56);
  
     // Mark the non-centerline duals
     x256.set_dual(o256);
     x25 .set_dual(o25 );
     x26 .set_dual(o26 );
     x56 .set_dual(o56 );
  
     x2  .set_dual(o2  );
     x5  .set_dual(o5  );
     x6  .set_dual(o6  );
  
     test(o256);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice12a()

void com.cliffc.aa.TestLattice.testLattice12a ( )

Definition at line 1063 of file TestLattice.java.

                                      {
     N.reset();
     N _1  = new N("{&1}");
     N _234= new N("{&2&3&4}",_1);
  
     N _23 = new N("{&2&3}",_234);
     N _24 = new N("{&2&4}",_234);
     N _34 = new N("{&3&4}",_234);
  
     N _2   = new N("&2",_23,_24);
     N _3   = new N("&3",_23,_34);
     N _4   = new N("&4",_24,_34);
  
     N x2   = new N("+2",_2);
     N x3   = new N("+3",_3);
     N x4   = new N("+4",_4);
  
     N x23 = new N("{+2+3}",x2,x3);
     N x24 = new N("{+2+4}",x2,x4);
     N x34 = new N("{+3+4}",x3,x4);
  
     N x234= new N("{+2+3+4}",x23,x24,x34);
     
     N x1  = new N("{+1}",x234);
  
     // Mark the non-centerline duals
     x234.set_dual(_234);
     x23 .set_dual(_23 );
     x24 .set_dual(_24 );
     x34 .set_dual(_34 );
  
     x2  .set_dual(_2  );
     x3  .set_dual(_3  );
     x4  .set_dual(_4  );
  
     x1  .set_dual(_1  );
  
     test(x1);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice12b()

void com.cliffc.aa.TestLattice.testLattice12b ( )

Definition at line 1124 of file TestLattice.java.

                                      {
     N.reset();
     N and_234= new N("&{ 2 3 4}");
  
     N and_23 = new N("&{ 2 3}",and_234);
     N and_24 = new N("&{ 2 4}",and_234);
     N and_34 = new N("&{ 3 4}",and_234);
  
     N and_2   = new N("&{ 2}",and_23,and_24);
     N and_3   = new N("&{ 3}",and_23,and_34);
     N and_4   = new N("&{ 4}",and_24,and_34);
  
     N oor_2   = new N("+{ 2}",and_2);
     N oor_3   = new N("+{ 3}",and_3);
     N oor_4   = new N("+{ 4}",and_4);
  
     N oor_23 = new N("+{ 2 3}",oor_2,oor_3);
     N oor_24 = new N("+{ 2 4}",oor_2,oor_4);
     N oor_34 = new N("+{ 3 4}",oor_3,oor_4);
     
     N oor_234= new N("+{ 2 3 4}",oor_23,oor_24,oor_34);
  
     N andx234= new N("&{~2~3~4}",oor_234);
  
     N andx23 = new N("&{~2~3}",andx234);
     N andx24 = new N("&{~2~4}",andx234);
     N andx34 = new N("&{~3~4}",andx234);
  
     N andx2   = new N("&{~2}",andx23,andx24);
     N andx3   = new N("&{~3}",andx23,andx34);
     N andx4   = new N("&{~4}",andx24,andx34);
  
     N oorx2   = new N("+{~2}",andx2);
     N oorx3   = new N("+{~3}",andx3);
     N oorx4   = new N("+{~4}",andx4);
  
     N oorx23 = new N("+{~2~3}",oorx2,oorx3);
     N oorx24 = new N("+{~2~4}",oorx2,oorx4);
     N oorx34 = new N("+{~3~4}",oorx3,oorx4);
     
     N oorx234= new N("+{~2~3~4}",oorx23,oorx24,oorx34);
     
     // Mark the non-centerline duals
     andx234.set_dual(oor_234);
     
     andx23 .set_dual(oor_23 );
     andx24 .set_dual(oor_24 );
     andx34 .set_dual(oor_34 );
  
     andx2  .set_dual(oor_2  );
     andx3  .set_dual(oor_3  );
     andx4  .set_dual(oor_4  );
  
     oorx2  .set_dual(and_2  );
     oorx3  .set_dual(and_3  );
     oorx4  .set_dual(and_4  );
     
     oorx23 .set_dual(and_23 );
     oorx24 .set_dual(and_24 );
     oorx34 .set_dual(and_34 );
  
     oorx234.set_dual(and_234);
     
     test(oorx234);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice12d()

void com.cliffc.aa.TestLattice.testLattice12d ( )

Definition at line 1208 of file TestLattice.java.

                                      {
     N.reset();
     N x256 = new N("{ 2&5&6}");
  
     N x25  = new N("{ 2&5}",x256);
     N x26  = new N("{ 2&6}",x256);
     N x56  = new N("{ 5&6}",x256);
  
     N x2   = new N("&2",x25,x26);
     N x5   = new N("&5",x25,x56);
     N x6   = new N("&6",x26,x56);
  
     N mt   = new N("[]",x2,x5,x6);
  
     N o2   = new N("+2",mt);
     N o5   = new N("+5",mt);
     N o6   = new N("+6",mt);
  
     N o25  = new N("{+2+5}",o2,o5);
     N o26  = new N("{+2+6}",o2,o6);
     N o56  = new N("{+5+6}",o5,o6);
  
     N o256 = new N("{+2+5+6}",o25,o26,o56);
  
     // Mark the non-centerline duals
     x256.set_dual(o256);
     x25 .set_dual(o25 );
     x26 .set_dual(o26 );
     x56 .set_dual(o56 );
  
     x2  .set_dual(o2  );
     x5  .set_dual(o5  );
     x6  .set_dual(o6  );
  
     test(o256);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice13()

void com.cliffc.aa.TestLattice.testLattice13 ( )

Definition at line 1263 of file TestLattice.java.

                                             {
     N.reset();
     N x250 = new N("{ 2&5&0}");
  
     N x25  = new N("{ 2&5}",x250);
     N x20  = new N("{ 2&0}",x250);
     N x50  = new N("{ 5&0}",x250);
  
     N x2   = new N("&2",x25,x20);
     N x5   = new N("&5",x25,x50);
  
     N nil  = new N("0",x20,x50);
     N mt   = new N("[]",x2,x5);
  
     N o2   = new N("+2",mt);
     N o5   = new N("+5",mt);
  
     N o25  = new N("{+2+5}",o2,o5);
     N o20  = new N("{+2+0}",o2,nil);
     N o50  = new N("{+5+0}",o5,nil);
  
     N o250 = new N("{+2+5+0}",o25,o20,o50);
  
     // Mark the non-centerline duals
     x250.set_dual(o250);
     x25 .set_dual(o25 );
     x20 .set_dual(o20 );
     x50 .set_dual(o50 );
  
     x2  .set_dual(o2  );
     x5  .set_dual(o5  );
  
     test(o250);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice14()

void com.cliffc.aa.TestLattice.testLattice14 ( )

Definition at line 1329 of file TestLattice.java.

                                     {
     N.reset();
     N xscl = new N("scalar");
     N x250 = new N("{ 2&5&0}",xscl);
     N xint = new N("int",xscl);
  
     N x25  = new N("{ 2&5}",x250);
     N x20  = new N("{ 2&0}",x250);
     N x50  = new N("{ 5&0}",x250);
     N xnint= new N("nint",xint);
  
     N x2   = new N("&2",x25,x20);
     N x5   = new N("&5",x25,x50);
     N x0   = new N("&0",x20,x50);
  
     N mt   = new N("[]",x2,x5,x0);
     N nil  = new N("nil",x0,xint);
  
     N o2   = new N("+2",mt);
     N o5   = new N("+5",mt);
     N o0   = new N("+0",mt,nil);
  
     N onint= new N("~nint",xnint);
     N o25  = new N("{+2+5}",o2,o5);
     N o20  = new N("{+2+0}",o2,o0);
     N o50  = new N("{+5+0}",o5,o0);
  
     N oint = new N("~int",nil,onint);
     N o250 = new N("{+2+5+0}",o25,o20,o50);
     N sclr = new N("~scalar",o250,oint);
  
     // Mark the non-centerline duals
     xscl.set_dual(sclr);
     x250.set_dual(o250);
  
     x25 .set_dual(o25 );
     x20 .set_dual(o20 );
     x50 .set_dual(o50 );
     xint.set_dual(oint);
     xnint.set_dual(onint);
  
     x2  .set_dual(o2  );
     x5  .set_dual(o5  );
     x0  .set_dual(o0  );
  
     test(sclr);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice15()

void com.cliffc.aa.TestLattice.testLattice15 ( )

Definition at line 1390 of file TestLattice.java.

                                     {
     N.reset();
  
     // Layer [ 0 4] -> {~obj,~rec,~str,str,rec,obj}
     N n_04_obj = new N("n_04_obj");
     N n_04_rec = new N("n_04_rec",n_04_obj);
     N n_04_str = new N("n_04_str",n_04_obj);
     N n_04xrec = new N("n_04xrec",n_04_rec);
     N n_04xstr = new N("n_04xstr",n_04_str);
     N n_04xobj = new N("n_04xobj",n_04xrec,n_04xstr);
  
     // Layer [ 0  ] -> {~obj,~rec,~str,str,rec,obj}
     N n_0__obj = new N("n_0__obj"                  ,n_04_obj);
     N n_0__rec = new N("n_0__rec",n_0__obj         ,n_04_rec);
     N n_0__str = new N("n_0__str",n_0__obj         ,n_04_str);
     N n_0_xrec = new N("n_0_xrec",n_0__rec         ,n_04xrec);
     N n_0_xstr = new N("n_0_xstr",n_0__str         ,n_04xstr);
     N n_0_xobj = new N("n_0_xobj",n_0_xrec,n_0_xstr,n_04xobj);
  
     // Layer [   4] -> {~obj,~rec,~str,str,rec,obj}
     N n__4_obj = new N("n__4_obj"                  ,n_04_obj);
     N n__4_rec = new N("n__4_rec",n__4_obj         ,n_04_rec);
     N n__4_str = new N("n__4_str",n__4_obj         ,n_04_str);
     N n__4xrec = new N("n__4xrec",n__4_rec         ,n_04xrec);
     N n__4xstr = new N("n__4xstr",n__4_str         ,n_04xstr);
     N n__4xobj = new N("n__4xobj",n__4xrec,n__4xstr,n_04xobj);
  
     // Layer [    ] -> {~obj,~rec,~str,str,rec,obj}
     N n_mt_obj = new N("n_mt_obj"                  ,n_0__obj,n__4_obj);
     N n_mt_rec = new N("n_mt_rec",n_mt_obj         ,n_0__rec,n__4_rec);
     N n_mt_str = new N("n_mt_str",n_mt_obj         ,n_0__str,n__4_str);
     N n_mtxrec = new N("n_mtxrec",n_mt_rec         ,n_0_xrec,n__4xrec);
     N n_mtxstr = new N("n_mtxstr",n_mt_str         ,n_0_xstr,n__4xstr);
     N n_mtxobj = new N("n_mtxobj",n_mtxrec,n_mtxstr,n_0_xobj,n__4xobj);
  
     // An UNSIGNED NIL works IFF NIL expands as-if "[0]->obj", which means
     // meeting with NIL loses the base type of a pointer.  But it remains a
     // lattice.
  
     // Signed Nil works, and is a lattice.
     N NIL = new N(" NIL",n_0__obj);
     N XNIL= new N("XNIL",n_0_xobj);
  
     // Layer [~0  ] -> {~obj,~rec,~str,str,rec,obj}
     N nx0__obj = new N("nx0__obj"                  ,n_mt_obj, NIL);
     N nx0__rec = new N("nx0__rec",nx0__obj         ,n_mt_rec);
     N nx0__str = new N("nx0__str",nx0__obj         ,n_mt_str);
     N nx0_xrec = new N("nx0_xrec",nx0__rec         ,n_mtxrec);
     N nx0_xstr = new N("nx0_xstr",nx0__str         ,n_mtxstr);
     N nx0_xobj = new N("nx0_xobj",nx0_xrec,nx0_xstr,n_mtxobj, XNIL);
  
     // Layer [~4  ] -> {~obj,~rec,~str,str,rec,obj}
     N nx_4_obj = new N("nx_4_obj"                  ,n_mt_obj);
     N nx_4_rec = new N("nx_4_rec",nx_4_obj         ,n_mt_rec);
     N nx_4_str = new N("nx_4_str",nx_4_obj         ,n_mt_str);
     N nx_4xrec = new N("nx_4xrec",nx_4_rec         ,n_mtxrec);
     N nx_4xstr = new N("nx_4xstr",nx_4_str         ,n_mtxstr);
     N nx_4xobj = new N("nx_4xobj",nx_4xrec,nx_4xstr,n_mtxobj);
  
     // Layer [~0~4] -> {~obj,~rec,~str,str,rec,obj}
     N nx04_obj = new N("nx04_obj"                  ,nx0__obj,nx_4_obj);
     N nx04_rec = new N("nx04_rec",nx04_obj         ,nx0__rec,nx_4_rec);
     N nx04_str = new N("nx04_str",nx04_obj         ,nx0__str,nx_4_str);
     N nx04xrec = new N("nx04xrec",nx04_rec         ,nx0_xrec,nx_4xrec);
     N nx04xstr = new N("nx04xstr",nx04_str         ,nx0_xstr,nx_4xstr);
     N nx04xobj = new N("nx04xobj",nx04xrec,nx04xstr,nx0_xobj,nx_4xobj);
  
  
     // Mark the non-centerline duals
     n_04_obj.set_dual(nx04xobj);
     n_04_rec.set_dual(nx04xrec);
     n_04_str.set_dual(nx04xstr);
     n_04xrec.set_dual(nx04_rec);
     n_04xstr.set_dual(nx04_str);
     n_04xobj.set_dual(nx04_obj);
  
     n_0__obj.set_dual(nx0_xobj);
     n_0__rec.set_dual(nx0_xrec);
     n_0__str.set_dual(nx0_xstr);
     n_0_xrec.set_dual(nx0__rec);
     n_0_xstr.set_dual(nx0__str);
     n_0_xobj.set_dual(nx0__obj);
  
     n__4_obj.set_dual(nx_4xobj);
     n__4_rec.set_dual(nx_4xrec);
     n__4_str.set_dual(nx_4xstr);
     n__4xrec.set_dual(nx_4_rec);
     n__4xstr.set_dual(nx_4_str);
     n__4xobj.set_dual(nx_4_obj);
  
     n_mt_obj.set_dual(n_mtxobj);
     n_mt_rec.set_dual(n_mtxrec);
     n_mt_str.set_dual(n_mtxstr);
  
     NIL.set_dual(XNIL);
     
     test(nx04xobj);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice16()

void com.cliffc.aa.TestLattice.testLattice16 ( )

Definition at line 1502 of file TestLattice.java.

                                             {
     N.reset();
  
     N __obj = new N("__obj");
     N A_obj = new N("A_obj",__obj);
     N B_obj = new N("B_obj",__obj);
     
     N __ary =   new N("__ary",__obj);
     N A_ary =     new N("A_ary",__ary,A_obj);
     N B_ary =     new N("B_ary",__ary,B_obj);
     N __tup =   new N("__tup",__obj);
     N A_tup =     new N("A_tup",__tup,A_obj);
     N B_tup =     new N("B_tup",__tup,B_obj);
  
     N __str =     new N("__str",__ary);
     N A_str =       new N("A_str",__str,A_ary);
     N B_str =       new N("B_str",__str,B_ary);
     N __rec =     new N("__rec",__tup);
     N A_rec =       new N("A_rec",__rec,A_tup);
     N B_rec =       new N("B_rec",__rec,B_tup);
  
     N Axrec =       new N("A~rec",A_rec);
     N Bxrec =       new N("B~rec",B_rec);
     N _xrec =     new N("_~rec",Axrec,Bxrec);
     N Axstr =       new N("A~str",A_str);
     N Bxstr =       new N("B~str",B_str);
     N _xstr =     new N("_~str",Axstr,Bxstr);
  
     N Axtup =     new N("A~tup",Axrec);
     N Bxtup =     new N("B~tup",Bxrec);
     N _xtup =   new N("_~tup",_xrec,Axtup,Bxtup);
     N Axary =     new N("A~ary",Axstr);
     N Bxary =     new N("B~ary",Bxstr);
     N _xary =   new N("_~ary",_xstr,Axary,Bxary);
  
     N Axobj = new N("A~obj",Axary,Axtup);
     N Bxobj = new N("B~obj",Bxary,Bxtup);
     N _xobj = new N("_~obj",_xtup,_xary,Axobj,Bxobj);
  
     __obj.set_dual(_xobj);
     __ary  .set_dual(_xary);
     __str    .set_dual(_xstr);
     __tup  .set_dual(_xtup);
     __rec    .set_dual(_xrec);
     A_obj  .set_dual(Axobj);
     A_ary    .set_dual(Axary);
     A_str      .set_dual(Axstr);
     A_tup    .set_dual(Axtup);
     A_rec    .set_dual(Axrec);
     B_obj  .set_dual(Bxobj);
     B_ary    .set_dual(Bxary);
     B_str      .set_dual(Bxstr);
     B_tup    .set_dual(Bxtup);
     B_rec    .set_dual(Bxrec);
  
     test(_xobj);    
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice17()

void com.cliffc.aa.TestLattice.testLattice17 ( )

Definition at line 1573 of file TestLattice.java.

                                     {
     N.reset();
  
     N __obj = new N("__obj");
     N A_obj = new N("A_obj",__obj);
     N B_obj = new N("B_obj",__obj);
     
     N __ary =   new N("__ary",__obj);
     N A_ary =     new N("A_ary",A_obj);
     N B_ary =     new N("B_ary",B_obj);
     N __tup =   new N("__tup",__obj);
     N A_tup =     new N("A_tup",A_obj);
     N B_tup =     new N("B_tup",B_obj);
  
     N __str =     new N("__str",__ary);
     N A_str =       new N("A_str",A_ary);
     N B_str =       new N("B_str",B_ary);
     N __rec =     new N("__rec",__tup);
     N A_rec =       new N("A_rec",A_tup);
     N B_rec =       new N("B_rec",B_tup);
  
     N Axrec =       new N("A~rec",A_rec);
     N Bxrec =       new N("B~rec",B_rec);
     N _xrec =     new N("_~rec",__rec);
     N Axstr =       new N("A~str",A_str);
     N Bxstr =       new N("B~str",B_str);
     N _xstr =     new N("_~str",__str);
  
     N Axtup =     new N("A~tup",Axrec);
     N Bxtup =     new N("B~tup",Bxrec);
     N _xtup =   new N("_~tup",_xrec);
     N Axary =     new N("A~ary",Axstr);
     N Bxary =     new N("B~ary",Bxstr);
     N _xary =   new N("_~ary",_xstr);
  
     N Axobj = new N("A~obj",Axary,Axtup);
     N Bxobj = new N("B~obj",Bxary,Bxtup);
     N _xobj = new N("_~obj",_xtup,_xary,Axobj,Bxobj);
  
     __obj.set_dual(_xobj);
     __ary  .set_dual(_xary);
     __str    .set_dual(_xstr);
     __tup  .set_dual(_xtup);
     __rec    .set_dual(_xrec);
     A_obj  .set_dual(Axobj);
     A_ary    .set_dual(Axary);
     A_str      .set_dual(Axstr);
     A_tup    .set_dual(Axtup);
     A_rec    .set_dual(Axrec);
     B_obj  .set_dual(Bxobj);
     B_ary    .set_dual(Bxary);
     B_str      .set_dual(Bxstr);
     B_tup    .set_dual(Bxtup);
     B_rec    .set_dual(Bxrec);
  
     test(_xobj);
     
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice2()

void com.cliffc.aa.TestLattice.testLattice2 ( )

Definition at line 319 of file TestLattice.java.

                                    {
     N.reset();
     N tb0 = new N("[_,_]0"  );
     N tx0 = new N("[x,_]0" ,tb0);
     N ty0 = new N("[y,_]0" ,tb0);
     N tt0 = new N("[^,_]0" ,tx0,ty0);
  
     N tb  = new N("[_,_]"  ,tb0 );
     N tx  = new N("[x,_]"  ,tb,tx0);
     N ty  = new N("[y,_]"  ,tb,ty0);
     N tt  = new N("[^,_]"  ,tx,ty,tt0);
  
     N bb0 = new N("[_,^]0" ,tb0);
     N bx0 = new N("[x,^]0" ,bb0,tx0);
     N by0 = new N("[y,^]0" ,bb0,ty0);
     N bt0 = new N("[^,^]0" ,bx0,by0,tt0);
  
     // The 8 different flavors of nil...
     N nilbb = new N("0[_,_]0",tb0);
     N nilxb = new N("0[x,_]0",tx0);
     N nilyb = new N("0[y,_]0",ty0);
     N niltb = new N("0[^,_]0",tt0);
     N nilbt = new N("0[_,^]0",bb0);
     N nilxt = new N("0[x,^]0",bx0);
     N nilyt = new N("0[y,^]0",by0);
     N niltt = new N("0[^,^]0",bt0);
     // Attempt a single nil
     //N nil = new N("0",tb0,tx0,ty0,tt0,bb0,bx0,by0,bt0);
     //N nilbb=nil, nilxb=nil, nilyb=nil, niltb=nil, nilbt=nil, nilxt=nil, nilyt=nil, niltt=nil;
  
     N tbp = new N("[_,_]+" ,tb,nilbb);
     N txp = new N("[x,_]+" ,tbp,tx,nilxb);
     N typ = new N("[y,_]+" ,tbp,ty,nilyb);
     N ttp = new N("[^,_]+" ,txp,typ,tt,niltb);
  
     N bb  = new N("[_,^]"  ,tb, bb0 );
     N bx  = new N("[x,^]"  ,bb,bx0,tx);
     N by  = new N("[y,^]"  ,bb,by0,ty);
     N bt  = new N("[^,^]"  ,bx,by,bt0,tt);
  
     N bbp = new N("[_,^]+" ,bb,tbp,nilbt);
     N bxp = new N("[x,^]+" ,bbp,bx,txp,nilxt);
     N byp = new N("[y,^]+" ,bbp,by,typ,nilyt);
     N btp = new N("[^,^]+" ,bxp,byp,bt,ttp,niltt);
  
     // Mark the non-centerline duals
     btp.set_dual(tb0);
     byp.set_dual(ty0);
     bxp.set_dual(tx0);
     bbp.set_dual(tt0);
  
     bt .set_dual(tb );
     bx .set_dual(tx );
     by .set_dual(ty );
     bb .set_dual(tt );
  
     nilbb.set_dual(niltt);
     nilxb.set_dual(nilxt);
     nilyb.set_dual(nilyt);
     niltb.set_dual(nilbt);
  
     bb0.set_dual(ttp);
     bx0.set_dual(txp);
     by0.set_dual(typ);
     bt0.set_dual(tbp);
  
     test(btp);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice3()

void com.cliffc.aa.TestLattice.testLattice3 ( )

Definition at line 401 of file TestLattice.java.

                                    {
     N.reset();
     N num = new N(  "num" );
     N nnum= new N("N:num",num);
     N mnum= new N("M:num",num);
     N  i64= new N(  "int",num );
     N ni64= new N("N:int",i64,nnum );
     N mi64= new N("M:int",i64,mnum );
  
     N i0  = new N(  "0", i64);
     N i7  = new N(  "7", i64);
     N ni0 = new N("N:0", ni64);
     N ni7 = new N("N:7", ni64);
     N mi0 = new N("M:0", mi64);
     N mi7 = new N("M:7", mi64);
  
     N nx64= new N("N:~int",ni0,ni7 );
     N mx64= new N("M:~int",mi0,mi7 );
     N  x64= new N(  "~int",nx64,mx64, i0, i7 );
     N nxum= new N("N:~num",nx64 );
     N mxum= new N("M:~num",mx64 );
     N  xum= new N(  "~num",nxum,mxum,x64 );
  
     // Mark the non-centerline duals
      num.set_dual( xum);
     nnum.set_dual(nxum);
     mnum.set_dual(mxum);
      i64.set_dual( x64);
     ni64.set_dual(nx64);
     mi64.set_dual(mx64);
  
     test(xum);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice4()

void com.cliffc.aa.TestLattice.testLattice4 ( )

Definition at line 465 of file TestLattice.java.

                                    {
     N.reset();
     N scal= new N("scalar");
     N num  =new N("num"     ,scal);
     N oop0= new N("oop?"    ,scal);
     N str0= new N("str?"    ,oop0);
     N i640= new N("{i64}?"  ,oop0);
     N i64 = new N("{i64}"   ,i640);
     N i80 = new N("{i8}?"   ,i640);
     N i8  = new N("{i8}"    ,i80,i64);
     N str = new N("str"     ,str0);
     N abc0= new N("abc?"    ,str0);
     N t00 = new N("{nil}?"  ,i80);
     N abc = new N("abc"     ,abc0,str);
     N t7  = new N("{7}"     ,i8);
     N t0  = new N("{nil}"   ,i8,t00);
     N nil = new N("nil"     ,t00,abc0,num);
     N abc_= new N("abc+?"   ,abc,nil);
     N t0_ = new N("{nil}+?" ,nil,t0);
     N xstr= new N("~str"    ,abc);
     N xi8 = new N("~{~i8}"  ,t0,t7);
     N xi8_= new N("~{~i8}+?",xi8,t0_);
     N xstr_=new N("~str+?"  ,xstr,abc_);
     N xi64= new N("~{~i64}" ,xi8);
     N xi64_=new N("~{~i64}+?",xi64,xi8_);
     N oop_ =new N("~oop+?"  ,xi64_,xstr_);
     N xnum =new N("~num"    ,nil);
     N xscal=new N("~scalar" ,oop_,xnum);
  
     // Mark the non-centerline duals
     scal.set_dual(xscal);
     num .set_dual(xnum );
     oop0.set_dual( oop_);
     str0.set_dual(xstr_);
     i640.set_dual(xi64_);
     i64 .set_dual(xi64 );
     str .set_dual(xstr );
     i80 .set_dual(xi8_ );
     i8  .set_dual(xi8  );
     t00 .set_dual(t0_  );
     abc0.set_dual(abc_ );
  
     test(xscal);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice5()

void com.cliffc.aa.TestLattice.testLattice5 ( )

Definition at line 523 of file TestLattice.java.

                                    {
     N.reset();
     N scal= new N("scalar");
     N num  =new N("num"     ,scal);
     N oop0= new N("oop?"    ,scal);
     N str0= new N("str?"    ,oop0);
     N i64 = new N("{i64}"   ,oop0); // tuple with a single int field
  
     N i8  = new N("{i8}"    ,i64);
     N str = new N("str"     ,str0);
     N abc = new N("abc"     ,str);
     N def = new N("def"     ,str);
     N t7  = new N("{7}"     ,i8);
     N t0  = new N("{nil}"   ,i8);       // two different flavors of nil
     N nil = new N("nil"     ,str0,num); // two different flavors of nil
     N xstr= new N("~str"    ,abc,def);
     N xi8 = new N("~{~i8}"  ,t0,t7);
  
     N xstr_=new N("~str+?"  ,xstr,nil);
     N xi64= new N("~{~i64}" ,xi8);
     N oop_ =new N("~oop+?"  ,xi64,xstr_);
     N xnum =new N("~num"    ,nil);
     N xscal=new N("~scalar" ,oop_,xnum);
  
     // Mark the non-centerline duals
     scal.set_dual(xscal);
     num .set_dual(xnum );
     oop0.set_dual( oop_);
     str0.set_dual(xstr_);
     i64 .set_dual(xi64 );
     i8  .set_dual(xi8  );
     str .set_dual(xstr );
  
     test(xscal);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice6()

void com.cliffc.aa.TestLattice.testLattice6 ( )

Definition at line 573 of file TestLattice.java.

                                    {
     N.reset();
     N scal= new N("scalar");
     N oop0= new N("oop?"    ,scal);
     N i64 = new N("i64"     ,scal);
     N n64 = new N("N:i64"   ,i64);
     N m64 = new N("M:i64"   ,i64);
  
     N i8  = new N("i8"      ,i64);
     N n8  = new N("N:i8"    ,n64,i8);
     N m8  = new N("M:i8"    ,m64,i8);
  
     N nil = new N("nil"     ,i8);
     N c7  = new N("7"       ,i8);
     N m0  = new N("M:0"     ,m8);
     N m7  = new N("M:7"     ,m8);
     N n0  = new N("N:0"     ,n8);
     N n7  = new N("N:7"     ,n8);
     N abc = new N("abc"     ,oop0);
  
     N xn8 = new N("N:~i8"   ,n0,n7);
     N xm8 = new N("M:~i8"   ,m0,m7);
     N xi8 = new N("~i8"     ,xn8,xm8,c7,nil);
  
     N xm64= new N("M:~i64"  ,xm8);
     N xn64= new N("N:~i64"  ,xn8);
     N xi64= new N("~i64"    ,xn64,xm64,xi8);
     N xoop= new N("~oop+?"  ,abc);
  
     N xscal=new N("~scalar" ,xoop,xi64);
  
     // Mark the non-centerline duals
     scal.set_dual(xscal);
     oop0.set_dual(xoop );
     i64 .set_dual(xi64 );
     n64 .set_dual(xn64 );
     m64 .set_dual(xm64 );
     i8  .set_dual(xi8  );
     n8  .set_dual(xn8  );
     m8  .set_dual(xm8  );
  
     test(xscal);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice6_1()

void com.cliffc.aa.TestLattice.testLattice6_1 ( )

Definition at line 642 of file TestLattice.java.

                                      {
     N.reset();
     N scal= new N("scalar");
     N nzscal= new N("nzscalar",scal);
     N oop0= new N("oop?"    ,scal);
     N i64 = new N("i64"     ,scal);
     N nzi64 = new N("nzi64"     ,i64,nzscal);
     N n64 = new N("N:i64"   ,i64);
     N m64 = new N("M:i64"   ,i64);
     N nzn64 = new N("N:nzi64"   ,n64);
     N nzm64 = new N("M:nzi64"   ,m64);
  
     N i1  = new N("i1"      ,i64);
     N n8  = new N("N:i1"    ,n64,i1);
     N m8  = new N("M:i1"    ,m64,i1);
  
     N nil = new N("nil"     ,i1);
     N c1  = new N("1"       ,i1,nzi64);
     N m0  = new N("M:0"     ,m8);
     N m1  = new N("M:1"     ,m8,nzm64);
     N n0  = new N("N:0"     ,n8);
     N n1  = new N("N:1"     ,n8,nzn64);
     N abc = new N("abc"     ,oop0);
  
     N xn8 = new N("N:~i1"   ,n0,n1);
     N xm8 = new N("M:~i1"   ,m0,m1);
     N xi1 = new N("~i1"     ,xn8,xm8,c1,nil);
  
     N xnzm64= new N("M:~nzi64"  ,m1);
     N xnzn64= new N("N:~nzi64"  ,n1);
     N xm64= new N("M:~i64"  ,xm8,xnzm64);
     N xn64= new N("N:~i64"  ,xn8,xnzn64);
     N xnzi64= new N("~nzi64"    ,c1);
     N xi64= new N("~i64"    ,xn64,xm64,xi1,xnzi64);
     N xoop= new N("~oop+?"  ,abc);
  
     N xnzscal=new N("~nzscalar" ,xnzi64);
     N xscal=new N("~scalar" ,xoop,xi64,xnzscal);
  
     // Mark the non-centerline duals
     scal.set_dual(xscal);
     nzscal.set_dual(xnzscal);
     oop0.set_dual(xoop );
     i64 .set_dual(xi64 );
     nzi64 .set_dual(xnzi64 );
     n64 .set_dual(xn64 );
     m64 .set_dual(xm64 );
     nzn64 .set_dual(xnzn64 );
     nzm64 .set_dual(xnzm64 );
     i1  .set_dual(xi1  );
     n8  .set_dual(xn8  );
     m8  .set_dual(xm8  );
  
     test(xscal);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice7()

void com.cliffc.aa.TestLattice.testLattice7 ( )

Definition at line 711 of file TestLattice.java.

                                            {
     N.reset();
     N scal= new N("scalar");
     N num = new N("num"      ,scal);
     N oop0= new N("oop?"     ,scal);
     N oop = new N("oop"      ,oop0);
     N xi0 = new N("@{x:i64}?",oop0);
     N yi0 = new N("@{y:i64}?",oop0);
     N xi  = new N("@{x:i64}" ,xi0,oop );
     N yi  = new N("@{y:i64}" ,yi0,oop );
     N x0  = new N("@{x:nil}" ,xi  );
     N y0  = new N("@{y:nil}" ,yi  );
     N nil = new N("nil"      ,xi0,yi0,num);
     N xix = new N("~@{x:~i64}",x0  );
     N yix = new N("~@{y:~i64}",y0  );
     N xi_ = new N("~@{x:~i64}+0",xix,nil);
     N yi_ = new N("~@{y:~i64}+0",yix,nil);
     N oopx= new N("~oop"     ,xix,yix);
     N oop_= new N("~oop+0"   ,xi_,yi_,oopx);
     N numx= new N("~num"     ,nil);
     N xscal=new N("~scalar" ,oop_,numx);
  
     // Mark the non-centerline duals
     scal.set_dual(xscal);
     num .set_dual(numx );
     oop0.set_dual(oop_ );
     oop .set_dual(oopx );
     xi0 .set_dual(xi_  );
     yi0 .set_dual(yi_  );
     xi  .set_dual(xix  );
     yi  .set_dual(yix  );
  
     test(xscal);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice8()

void com.cliffc.aa.TestLattice.testLattice8 ( )

Definition at line 775 of file TestLattice.java.

                                    {
     N.reset();
     N scal= new N("scalar");
  
     N num = new N("num"    ,scal);
     N inil= new N("0:int"  ,num);
  
     N oop0= new N("oop?"   ,scal);
     N oop = new N("oop"    ,oop0);
     N i0  = new N("(i64)?" ,oop0);
     N f0  = new N("(f64)?" ,oop0);
     N i70 = new N("(7)?"   ,i0);
     N f70 = new N("(7.)?"  ,f0);
     N i   = new N("(i64)"  ,oop,i0);
     N f   = new N("(f64)"  ,oop,f0);
     N n0  = new N("(nil)?" ,i70,f70);
  
     N n   = new N("(nil)"  ,n0,i,f);
     N i7  = new N("(7)"    ,i);
     N f7  = new N("(7.)"   ,f);
     N tnil= new N("0:tup"   ,n0);
  
     N str0= new N("str?"   ,oop0);
     N str = new N("str"    ,str0,oop  );
     N abc0= new N("abc?"   ,str0);
     N def0= new N("def?"   ,str0);
  
     N abc = new N("abc"    ,str,abc0);
     N def = new N("def"    ,str,def0);
     N abcnil= new N("0:abc",abc0);
     N defnil= new N("0:def",def0);
  
     N abc_= new N("abc+0"   ,abc,abcnil);
     N def_= new N("def+0"   ,def,defnil);
     N strx= new N("~str"    ,abc,def);
     N str_= new N("~str+0"  ,strx,abc_,def_);
  
     N n_  = new N("(nil)+0" ,tnil,n);
     N ix  = new N("(~i64)"  ,n,i7);
     N fx  = new N("(~f64)"  ,n,f7);
     N i7_ = new N("(7)+0"   ,n_);
     N f7_ = new N("(7.)+0"  ,n_);
     N i_  = new N("(~i64)+0",ix,i7_);
     N f_  = new N("(~f64)+0",fx,f7_);
     N oopx= new N("~oop"    ,ix,fx,strx);
     N oop_= new N("~oop+0"  ,oopx,i_,f_,str_);
  
     N numx= new N("~num"    ,inil);
  
     N xscl= new N("~scalar" ,oop_,numx);
  
     // Mark the non-centerline duals
     scal.set_dual(xscl );
     num .set_dual(numx );
     oop0.set_dual(oop_ );
     oop .set_dual(oopx );
     i0  .set_dual(i_   );
     f0  .set_dual(f_   );
     i70 .set_dual(i7_  );
     f70 .set_dual(f7_  );
     i   .set_dual(ix   );
     f   .set_dual(fx   );
     n0  .set_dual(n_   );
  
     str0.set_dual(str_ );
     str .set_dual(strx );
     abc0.set_dual(abc_ );
     def0.set_dual(def_ );
  
     test(xscl);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

◆ testLattice9()

void com.cliffc.aa.TestLattice.testLattice9 ( )

Definition at line 860 of file TestLattice.java.

                                    {
     N.reset();
     N bot = new N("( ALL,ALL)");
     N i64 = new N("( i64,ALL)",bot);
     N str = new N("( str,ALL)",bot);
  
     N xi64= new N("(~i64,ALL)",i64);
     N xstr= new N("(~str,ALL)",str);
  
     N xbot= new N("( ANY,ALL)",xstr,xi64);
     N xtop= new N("( ALL,ANY)",bot);
  
     N i64x= new N("( i64,ANY)",xtop);
     N strx= new N("( str,ANY)",xtop);
  
     N xi64x=new N("(~i64,ANY)",i64x);
     N xstrx=new N("(~str,ANY)",strx);
  
     N top = new N("( ANY,ANY)" ,xi64x,xstrx,xbot);
  
     // Mark the non-centerline duals
     bot.set_dual(top);
     xbot.set_dual(xtop);
  
     i64.set_dual(xi64x);
     str.set_dual(xstrx);
  
     xi64.set_dual(i64x);
     xstr.set_dual(strx);
  
     test(top);
   }

References com.cliffc.aa.TestLattice.N.reset(), com.cliffc.aa.TestLattice.N.set_dual(), and com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

The documentation for this class was generated from the following file:

TestLattice.java

Classes

Public Member Functions

Static Private Member Functions

Detailed Description

Member Function Documentation

◆ test()

◆ testLattice0()

◆ testLattice1()

◆ testLattice10()

◆ testLattice11()

◆ testLattice12()

◆ testLattice12a()

◆ testLattice12b()

◆ testLattice12d()

◆ testLattice13()

◆ testLattice14()

◆ testLattice15()

◆ testLattice16()

◆ testLattice17()

◆ testLattice2()

◆ testLattice3()

◆ testLattice4()

◆ testLattice5()

◆ testLattice6()

◆ testLattice6_1()

◆ testLattice7()

◆ testLattice8()

◆ testLattice9()