| 72 | virtual void get_blocks(std::vector<const Block*>& blks) const { blks.push_back(&body);} |
| 73 | |
| 74 | virtual void get_exprs(std::vector<const Expression*>& exps) const {exps.push_back(&test);} |
| 75 | |
| 76 | virtual bool visit_facts(vector<const Fact*>& inputs, CGContext& cg_context) const; |
| 77 |
nothing calls this directly
no outgoing calls
no test coverage detected