(expr: &BoolExpr<T>)
| 81 | } |
| 82 | |
| 83 | pub fn format_expr<T>(expr: &BoolExpr<T>) -> String { |
| 84 | match expr { |
| 85 | BoolExpr::Eq(l, r) => format!("({} = {})", format_bool_expr(l), format_bool_expr(r)), |
| 86 | BoolExpr::Ne(l, r) => format!("({} <> {})", format_bool_expr(l), format_bool_expr(r)), |
| 87 | BoolExpr::Gt(l, r) => format!("({} > {})", format_bool_expr(l), format_bool_expr(r)), |
| 88 | BoolExpr::Lt(l, r) => format!("({} < {})", format_bool_expr(l), format_bool_expr(r)), |
| 89 | BoolExpr::Gte(l, r) => format!("({} >= {})", format_bool_expr(l), format_bool_expr(r)), |
| 90 | BoolExpr::Lte(l, r) => format!("({} <= {})", format_bool_expr(l), format_bool_expr(r)), |
| 91 | BoolExpr::And(a, b) => format!("({} AND {})", format_expr(a), format_expr(b)), |
| 92 | BoolExpr::Or(a, b) => format!("({} OR {})", format_expr(a), format_expr(b)), |
| 93 | BoolExpr::Not(inner) => format!("(NOT {})", format_expr(inner)), |
| 94 | } |
| 95 | } |
| 96 | |
| 97 | #[derive(Clone, Debug)] |
| 98 | pub struct LiteralValue(String); |
no outgoing calls
searching dependent graphs…