| 1143 | } |
| 1144 | |
| 1145 | void print_assertion(agent* thisAgent, ms_change* msc) |
| 1146 | { |
| 1147 | |
| 1148 | if (msc->p_node) |
| 1149 | { |
| 1150 | print_with_symbols(thisAgent, "\nAssertion: %y", msc->p_node->b.p.prod->name); |
| 1151 | } |
| 1152 | else |
| 1153 | { |
| 1154 | print(thisAgent, "\nAssertion exists but has no p_node"); |
| 1155 | } |
| 1156 | } |
| 1157 | |
| 1158 | void print_retraction(agent* thisAgent, ms_change* msc) |
| 1159 | { |
no test coverage detected