如何使一个变量限定在一个常量区间内？

我知道前缀和 + 差分容易解决，但是我的模型变量间本来也有约束关系，求前缀和 + 差分后就会变成四元关系。

目前想不通的地方是：如果是最短路，由于差分约束只能约束 $\le$ 左边的变量的特性，导致会有一个关系是【变量约束常量】，不知道如何转化这部分。