Searched defs:nvarsC2 (Results 1 – 1 of 1) sorted by relevance
2622 int* nvarsC2 /**< pointer to store number of variables in C2 */ in getPartitionCovervars()2669 int* nvarsC2 /**< pointer to store number of variables in C2 */ in changePartitionCovervars()2709 int* nvarsC2 /**< pointer to store number of variables in C2 */ in changePartitionFeasiblesetvars()2800 int nvarsC2, /**< number of variables in C2 */ in getLiftingSequence()2888 int nvarsC2, /**< number of variables in C2 */ in getLiftingSequenceGUB()4762 int nvarsC2; in separateSequLiftedMinimalCoverInequality() local