Searched refs:endvarposclique (Results 1 – 1 of 1) sorted by relevance
7558 int endvarposclique; in propagateCons() local7567 endvarposclique = cliqueendposs[c]; in propagateCons()7616 for( i = endvarposclique; i > startvarposclique; --i ) in propagateCons()7626 assert(i == endvarposclique || myweights[i] >= myweights[i+1]); in propagateCons()7664 assert(i == endvarposclique || myweights[i] >= myweights[i+1]); in propagateCons()