| 92 | } |
| 93 | |
| 94 | bool |
| 95 | ExpressionComma::visit_facts(vector<const Fact*>& inputs, CGContext& cg_context) const |
| 96 | { |
| 97 | if (!lhs.visit_facts(inputs, cg_context)) { |
| 98 | return false; |
| 99 | } |
| 100 | return rhs.visit_facts(inputs, cg_context); |
| 101 | } |
| 102 | |
| 103 | vector<const ExpressionVariable*> |
| 104 | ExpressionComma::get_dereferenced_ptrs(void) const |
nothing calls this directly
no outgoing calls
no test coverage detected