Searched refs:maxclass (Results 1 – 1 of 1) sorted by relevance
475 ECnode *ec, *maxclass = NULL; local483 maxclass = NULL;490 {maxclass = ec; max=ec->setdeg;}493 if ( maxclass != NULL ) /* if subset found, replace with token */495 a = set_dif(*f, maxclass->eset);496 set_orel((unsigned)maxclass->tok, &a);