frozen             60 src/Function.cpp                          frozen(false) {}
frozen            876 src/Function.cpp bool Function::frozen() const {
frozen             98 src/Reduction.cpp     ReductionDomainContents() : predicate(const_true()), frozen(false) {
frozen            204 src/Reduction.cpp bool ReductionDomain::frozen() const {