domain            153 src/Reduction.cpp const std::vector<ReductionVariable> &ReductionDomain::domain() const {
domain            176 src/Reduction.cpp         predicate(p), domain(d) {}