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