(mut self)
| 1115 | |
| 1116 | impl LogicManager { |
| 1117 | pub(crate) fn expr(mut self) -> IdedExpr { |
| 1118 | if self.terms.len() == 1 { |
| 1119 | self.terms.pop().expect("expected at least one term") |
| 1120 | } else { |
| 1121 | self.balanced_tree(0, self.ops.len() - 1) |
| 1122 | } |
| 1123 | } |
| 1124 | |
| 1125 | pub(crate) fn add_term(&mut self, op_id: u64, expr: IdedExpr) { |
| 1126 | self.terms.push(expr); |
no test coverage detected