Searched defs:nvarsR (Results 1 – 1 of 1) sorted by relevance
2752 int* nvarsR /**< pointer to store number of variables in R */ in getPartitionNoncovervars()2801 int nvarsR /**< number of variables in R */ in getLiftingSequence()2890 int nvarsR, /**< number of variables in R */ in getLiftingSequenceGUB()3437 int nvarsR, /**< number of variables in R */ in sequentialUpAndDownLifting()4764 int nvarsR; in separateSequLiftedMinimalCoverInequality() local4999 int nvarsR; in separateSequLiftedExtendedWeightInequality() local