and_condition_over_domain  273 src/PartitionLoops.cpp                 s.condition = and_condition_over_domain(s.condition, Scope<Interval>::empty_scope());
and_condition_over_domain  340 src/PartitionLoops.cpp                 Expr relaxed = and_condition_over_domain(s.condition, varying);
and_condition_over_domain 1399 src/Solve.cpp      Expr cond = and_condition_over_domain(orig, s);
and_condition_over_domain 1546 src/Solve.cpp          Expr cond = and_condition_over_domain(lhs < 0, s);
and_condition_over_domain   47 src/Solve.h    Expr and_condition_over_domain(Expr c, const Scope<Interval> &varying);
and_condition_over_domain  107 src/TrimNoOps.cpp             is_no_op = and_condition_over_domain(is_no_op, Scope<Interval>::empty_scope());
and_condition_over_domain  124 src/TrimNoOps.cpp         condition = and_condition_over_domain(condition, varying);
and_condition_over_domain  226 src/TrimNoOps.cpp                 test = and_condition_over_domain(test, s);