「ドメイン分析」において、2つの変数が「A + B < 100」という制約を持つ場合、境界線はどのようになるか。

複数の変数が相互に関係する制約条件(線形不等式)は、ドメイン空間において斜めの境界線を形成する。