Collaboration diagram for com.cliffc.aa.TestLattice.N:

[legend]

Public Member Functions
String	toString ()

Package Functions
	N (String t, N... subs)

void	set_dual (N d)

boolean	walk_dual (BitSet bs)

boolean	walk_min_edge (int[] vs, N sup)

void	walk_print (BitSet bs, int indent)

void	walk_set_sup (BitSet bs)

Static Package Functions
static void	reset ()

Package Attributes
int	_cnt

N	_dual

final int	_id

final BitSet	_reaches

final Ary< N >	_subs

final Ary< N >	_sups

final String	_t

Static Package Attributes
static Ary< N >	NS =new Ary<>(new N[1],0)

Static Private Attributes
static int	ID =0

Detailed Description

Definition at line 80 of file TestLattice.java.

Constructor & Destructor Documentation

◆ N()

com.cliffc.aa.TestLattice.N.N	(	String	t,
		N...	subs
	)

package

Definition at line 91 of file TestLattice.java.

                            {
       _id = ID++;
       _t=t;
       _subs = new Ary<>(subs);
       _sups = new Ary<>(new N[1],0); // Fill in later
       _reaches = new BitSet();
       _dual = this;
       NS.add(this);
     }

References com.cliffc.aa.TestLattice.N._dual, com.cliffc.aa.TestLattice.N._id, com.cliffc.aa.TestLattice.N._reaches, com.cliffc.aa.TestLattice.N._subs, com.cliffc.aa.TestLattice.N._sups, com.cliffc.aa.TestLattice.N._t, com.cliffc.aa.TestLattice.N.ID, and com.cliffc.aa.TestLattice.N.NS.

Member Function Documentation

◆ reset()

static void com.cliffc.aa.TestLattice.N.reset ( )

staticpackage

Definition at line 83 of file TestLattice.java.

83 { NS.clear(); ID=0; }

References com.cliffc.aa.TestLattice.N.ID, and com.cliffc.aa.TestLattice.N.NS.

Here is the caller graph for this function:

◆ set_dual()

void com.cliffc.aa.TestLattice.N.set_dual ( N d )

package

Definition at line 100 of file TestLattice.java.

                          {
       assert _dual==this && d._dual==d;
       _dual=d; d._dual=this;
     }

References com.cliffc.aa.TestLattice.N._dual.

Here is the caller graph for this function:

◆ toString()

String com.cliffc.aa.TestLattice.N.toString ( )

Definition at line 118 of file TestLattice.java.

                                        {
       SB sb = new SB().p(_t).p(" -> ");
       for( N sub : _subs ) sb.p(sub._t).p(" ");
       return sb.toString();
     }

References com.cliffc.aa.TestLattice.N._subs, com.cliffc.aa.TestLattice.N._t, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.util.SB.toString().

Referenced by com.cliffc.aa.TestLattice.N.walk_print().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ walk_dual()

boolean com.cliffc.aa.TestLattice.N.walk_dual ( BitSet bs )

package

Definition at line 140 of file TestLattice.java.

                                  {
       if( bs.get(_id) ) return true;
       bs.set(_id);
       boolean x=true;
       for( N sub : _subs ) {
         if( sub._dual._subs.find(_dual) == -1 ) {
           System.out.println(""+_t+" -> "+sub._t+"; expect "+sub._dual._t+" -> "+_dual._t);
           x = false;
         }
       }
       for( N sub : _subs ) if( !sub.walk_dual(bs) ) x=false;
       return x;
     }

References com.cliffc.aa.TestLattice.N._dual, com.cliffc.aa.TestLattice.N._id, com.cliffc.aa.TestLattice.N._subs, and com.cliffc.aa.TestLattice.N._t.

Referenced by com.cliffc.aa.TestLattice.test().

Here is the caller graph for this function:

◆ walk_min_edge()

boolean com.cliffc.aa.TestLattice.N.walk_min_edge	(	int[]	vs,
		N	sup
	)

package

Definition at line 124 of file TestLattice.java.

                                              {
       vs[_id]++;
       if( sup != null ) {
         for( N sup0 : _sups )
           if( sup._reaches.get(sup0._id) ) {
             System.out.println("Edge "+sup0._t+" -> "+_t+" and also path "+sup0._t+" ... -> "+sup._t+" -> "+_t);
             return false;
           }
         _reaches.or(sup._reaches);
       }
       if( vs[_id]<_sups._len ) return true; // Pre-order still; return
       for( N sup0 : _sups ) _reaches.set(sup0._id); // Post-order: add all supers in
       for( N sub : _subs ) if( !sub.walk_min_edge(vs,this) ) return false;
       return true;
     }

References com.cliffc.aa.TestLattice.N._id, com.cliffc.aa.TestLattice.N._reaches, com.cliffc.aa.TestLattice.N._subs, com.cliffc.aa.TestLattice.N._sups, and com.cliffc.aa.TestLattice.N._t.

Referenced by com.cliffc.aa.TestLattice.test().

Here is the caller graph for this function:

◆ walk_print()

void com.cliffc.aa.TestLattice.N.walk_print	(	BitSet	bs,
		int	indent
	)

package

Definition at line 112 of file TestLattice.java.

                                              {
       if( bs.get(_id) ) return;
       bs.set(_id);
       System.out.println(new SB().i(indent).toString()+toString());
       for( N sub : _subs ) sub.walk_print(bs,indent+1);
     }

References com.cliffc.aa.TestLattice.N._id, com.cliffc.aa.TestLattice.N._subs, and com.cliffc.aa.TestLattice.N.toString().

Referenced by com.cliffc.aa.TestLattice.test().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ walk_set_sup()

void com.cliffc.aa.TestLattice.N.walk_set_sup ( BitSet bs )

package

Definition at line 105 of file TestLattice.java.

                                    {
       if( bs.get(_id) ) return;
       bs.set(_id);
       for( N sub : _subs ) sub._sups.add(this);
       for( N sub : _subs ) sub.walk_set_sup(bs);
     }