差分约束怎么表示

A!=B ?（bd无果）

但是看了一份代码他是这样表示的：

if(d[i].x>d[i].y 
swap(d[i].x,d[i].y);                
v[d[i].x].emplace_back(d[i].y,-1);  

可这样不就相当于 y<=x-1？那这样虽然绝对不等于但是原先有可能y可以比x大但是现在只能比y小不会影响正确吗