Merge implementation that adds to the output store.
(other ReadOnlyFactStore)
| 344 | |
| 345 | // Merge implementation that adds to the output store. |
| 346 | func (s TeeingStore) Merge(other ReadOnlyFactStore) { |
| 347 | s.Out.Merge(other) |
| 348 | } |
| 349 | |
| 350 | // ListPredicates returns a list of predicates. |
| 351 | func (s TeeingStore) ListPredicates() []ast.PredicateSym { |