Searched refs:max_tableaux (Results 1 – 4 of 4) sorted by relevance
1246 max_tableaux;
106 erg += max_tableaux(a,b);
1617 INT max_tableaux(a,b) OP a,b; in max_tableaux() function
1779 extern INT max_tableaux();