* return 1 if changed, 0 otherwise. currently facts from diff. categories are not joined */
| 215 | * return 1 if changed, 0 otherwise. currently facts from diff. categories are not joined |
| 216 | */ |
| 217 | int |
| 218 | FactUnion::join(const Fact& f) |
| 219 | { |
| 220 | if (is_related(f)) { |
| 221 | if (imply(f)) return 0; |
| 222 | if (f.imply(*this)) { |
| 223 | last_written_fid = ((const FactUnion&)f).get_last_written_fid(); |
| 224 | } else { |
| 225 | set_bottom(); |
| 226 | } |
| 227 | return 1; |
| 228 | } |
| 229 | return 0; |
| 230 | } |
| 231 | |
| 232 | /* |
| 233 | * join facts about a list of vars, return the merged facts |
no test coverage detected