Lines Matching defs:piece

55   for (const Piece &piece : pieces)
56     domain.unionInPlace(piece.domain);
284   // Check if, whenever the domains of a piece of `this` and a piece of `other`
296 void PWMAFunction::addPiece(const Piece &piece) {
297   assert(piece.isConsistent() && "Piece should be consistent");
298   assert(piece.domain.intersect(getDomain()).isIntegerEmpty() &&
300   pieces.emplace_back(piece);
306   for (const Piece &piece : pieces) {
307     os << "Domain of piece:\n";
308     piece.domain.print(os);
309     os << "Output of piece\n";
310     piece.output.print(os);
463   for (Piece &piece : pieces)
464     piece.output.removeOutputs(start, end);
471   for (const Piece &piece : pieces)
472     if (piece.domain.containsPoint(point))
473       return piece.output.valueAt(point);