Searched refs:jsupno (Results 1 – 3 of 3) sorted by relevance
55 Index jsupno, k, ksub, krep, ksupno; in column_bmod() local67 jsupno = glu.supno(jcol); in column_bmod()78 if (jsupno != ksupno ) in column_bmod()113 fsupc = glu.xsup(jsupno); in column_bmod()
54 Index jsupno = glu.supno(jcol); in copy_to_ucol() local66 if (jsupno != ksupno ) // should go into ucol(); in copy_to_ucol()
56 Index jsupno = glu.supno(jcol); in pruneL() local75 if (glu.supno(irep) != jsupno ) in pruneL()