示例#1
0
 @Override
 public IntBoolExp toIntBoolExp() {
   return _exp1.le(_exp2.add(_offset));
 }