Searched defs:minfixedrowlexmax (Results 1 – 1 of 1) sorted by relevance
1598 int* minfixedrowlexmax, /**< index of minimum fixed row for each column or in findLexMaxFace()1922 int* minfixedrowlexmax; in resolvePropagationFullOrbitope() local