Lines Matching refs:var1
663 GCVtx *var, *var1; in icvAlphaExpand() local
734 var1 = pright[x1]; in icvAlphaExpand()
738 assert( var1 != 0 ); in icvAlphaExpand()
741 E += icvAddTerm( var, var1, in icvAlphaExpand()
746 E += icvAddTerm( var, var1, 0, INFINITY, 0, 0, ebuf, nedges ); in icvAlphaExpand()
753 var1 = pright[x1]; in icvAlphaExpand()
759 E += icvAddTerm( var, var1, 0, E0a, Ea0, Eaa, ebuf, nedges ); in icvAlphaExpand()
775 var1 = p[x+1]; in icvAlphaExpand()
781 E += icvAddTerm( var, var1, E00, E0a, Ea0, 0, ebuf, nedges ); in icvAlphaExpand()
786 var1 = p[x+pstep]; in icvAlphaExpand()
792 E += icvAddTerm( var, var1, E00, E0a, Ea0, 0, ebuf, nedges ); in icvAlphaExpand()
804 var1 = pleft[x1]; in icvAlphaExpand()
805 E += icvAddTerm( var, var1, 0, INFINITY, 0, 0, ebuf, nedges ); in icvAlphaExpand()