| 352 | }; |
| 353 | |
| 354 | ConjunctIterator getBaseConjuncts() |
| 355 | { |
| 356 | const auto begin = conjuncts.begin(); |
| 357 | const auto end = begin + baseConjuncts; |
| 358 | |
| 359 | return ConjunctIterator(begin, end); |
| 360 | } |
| 361 | |
| 362 | ConjunctIterator getParentConjuncts() |
| 363 | { |
no test coverage detected