Searched refs:nvarsR (Results 1 – 1 of 1) sorted by relevance
2764 assert(nvarsR != NULL); in getPartitionNoncovervars()2767 *nvarsR = 0; in getPartitionNoncovervars()2775 (*nvarsR)++; in getPartitionNoncovervars()2818 assert(nvarsR >= 0); in getLiftingSequence()2848 for( j = 0; j < nvarsR; j++ ) in getLiftingSequence()2860 if( nvarsR > 0) in getLiftingSequence()2936 assert(nvarsR >= 0); in getLiftingSequenceGUB()3049 if( nvarsR > 0) in getLiftingSequenceGUB()3465 assert(nvarsR >= 0 && nvarsR <= nvars - ntightened); in sequentialUpAndDownLifting()4764 int nvarsR; in separateSequLiftedMinimalCoverInequality() local[all …]