Searched refs:nvarsinorbitope (Results 1 – 1 of 1) sorted by relevance
396 int nvarsinorbitope; in strengthenOrbitopeConstraint() local413 nvarsinorbitope = nsetppcvars; in strengthenOrbitopeConstraint()419 for (i = 0; i < nsetppcvars && nvarsinorbitope >= ncols; ++i) in strengthenOrbitopeConstraint()435 --nvarsinorbitope; in strengthenOrbitopeConstraint()442 --nvarsinorbitope; in strengthenOrbitopeConstraint()