| 452 | } |
| 453 | |
| 454 | void DeleteLogicExpTree(LogicExp* exp) { |
| 455 | if (exp) { |
| 456 | LogicExp* root = FindLogicExpTreeRoot(exp); |
| 457 | DeleteLogicExpSubTree(root); |
| 458 | } |
| 459 | } |
| 460 | |
| 461 | void PrintLogicItem(std::stringstream &str, LogicExp* exp, int inv, int rev) { |
| 462 | if (exp->subexp) { |
no test coverage detected