Lines Matching defs:opr

686     RelationalOperator opr, Expr<SomeKind<CAT>> &&x, Expr<SomeKind<CAT>> &&y) {
689         return PackageRelation(opr, std::move(xy[0]), std::move(xy[1]));
695     RelationalOperator opr, Expr<SomeType> &&x, Expr<SomeType> &&y) {
700             return PromoteAndRelate(opr, std::move(ix), std::move(iy));
704             return PromoteAndRelate(opr, std::move(ix), std::move(iy));
708             return PromoteAndRelate(opr, std::move(rx), std::move(ry));
711             return Relate(messages, opr, std::move(x),
715             return Relate(messages, opr,
720             if (opr == RelationalOperator::EQ ||
721                 opr == RelationalOperator::NE) {
722               return PromoteAndRelate(opr, std::move(zx), std::move(zy));
730             return Relate(messages, opr, std::move(x),
734             return Relate(messages, opr, std::move(x),
738             return Relate(messages, opr,
742             return Relate(messages, opr,
751                     return PackageRelation(opr, std::move(cxk), std::move(cyk));
770     LogicalOperator opr, Expr<SomeLogical> &&x, Expr<SomeLogical> &&y) {
771   CHECK(opr != LogicalOperator::Not);
776             opr, std::move(xy[0]), std::move(xy[1]))};