If the expression is a negated project, return the input and the projection.
(&self)
| 1474 | |
| 1475 | /// If the expression is a negated project, return the input and the projection. |
| 1476 | pub fn is_negated_project(&self) -> Option<(&MirRelationExpr, &[usize])> { |
| 1477 | if let MirRelationExpr::Negate { input } = self { |
| 1478 | if let MirRelationExpr::Project { input, outputs } = &**input { |
| 1479 | return Some((&**input, outputs)); |
| 1480 | } |
| 1481 | } |
| 1482 | if let MirRelationExpr::Project { input, outputs } = self { |
| 1483 | if let MirRelationExpr::Negate { input } = &**input { |
| 1484 | return Some((&**input, outputs)); |
| 1485 | } |
| 1486 | } |
| 1487 | None |
| 1488 | } |
| 1489 | |
| 1490 | /// Pretty-print this [MirRelationExpr] to a string. |
| 1491 | pub fn pretty(&self) -> String { |
no outgoing calls
no test coverage detected