Searched refs:nvarsC1 (Results 1 – 1 of 1) sorted by relevance
2633 assert(nvarsC1 != NULL); in getPartitionCovervars()2636 *nvarsC1 = 0; in getPartitionCovervars()2653 (*nvarsC1)++; in getPartitionCovervars()2675 assert(*nvarsC1 >= 0 && *nvarsC1 <= 1); in changePartitionCovervars()2691 (*nvarsC1)++; in changePartitionCovervars()2715 assert(*nvarsC1 >= 0 && *nvarsC1 <= 1); in changePartitionFeasiblesetvars()2729 (*nvarsC1)++; in changePartitionFeasiblesetvars()2933 assert(nvarsC1 > 0); in getLiftingSequenceGUB()3042 assert(nvarsC1 > 0); in getLiftingSequenceGUB()4761 int nvarsC1; in separateSequLiftedMinimalCoverInequality() local[all …]