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