Lines Matching defs:dom

337     PresburgerSet dom(pieceA.domain);
344       dom = dom.subtract(better);
349     // `dom` here is guranteed to be disjoint from already added pieces
352     //   to be disjoint from `dom`, or
354     //   subtracting all such pieces from `dom`, so `dom` is disjoint from those
356     result.addPiece({dom, pieceA.output});
360   PresburgerSet dom = getDomain();
362     result.addPiece({pieceB.domain.subtract(dom), pieceB.output});