Searched refs:nvarsF (Results 1 – 1 of 1) sorted by relevance
2763 assert(nvarsF != NULL); in getPartitionNoncovervars()2766 *nvarsF = 0; in getPartitionNoncovervars()2782 (*nvarsF)++; in getPartitionNoncovervars()2816 assert(nvarsF >= 0); in getLiftingSequence()2832 for( j = 0; j < nvarsF; j++ ) in getLiftingSequence()2852 if( nvarsF > 0 ) in getLiftingSequence()2935 assert(nvarsF >= 0); in getLiftingSequenceGUB()3003 for( j = 0; j < nvarsF; j++ ) in getLiftingSequenceGUB()3464 assert(nvarsF >= 0 && nvarsF <= nvars - ntightened); in sequentialUpAndDownLifting()4763 int nvarsF; in separateSequLiftedMinimalCoverInequality() local[all …]