make_intersection  180 src/Interval.cpp     check(Interval::make_intersection(xp, xn), Interval::single_point(x), __LINE__);
make_intersection  181 src/Interval.cpp     check(Interval::make_intersection(e, xn), xn, __LINE__);
make_intersection  182 src/Interval.cpp     check(Interval::make_intersection(xn, e), xn, __LINE__);
make_intersection  183 src/Interval.cpp     check(Interval::make_intersection(xn, n), n, __LINE__);
make_intersection  184 src/Interval.cpp     check(Interval::make_intersection(n, xp), n, __LINE__);
make_intersection  185 src/Interval.cpp     check(Interval::make_intersection(xp, xp), xp, __LINE__);
make_intersection  188 src/Interval.cpp     check(Interval::make_intersection({3, Interval::pos_inf}, {5, Interval::pos_inf}), {5, Interval::pos_inf}, __LINE__);
make_intersection  191 src/Interval.cpp     check(Interval::make_intersection({Interval::neg_inf, 3}, {Interval::neg_inf, 5}), {Interval::neg_inf, 3}, __LINE__);
make_intersection  194 src/Interval.cpp     check(Interval::make_intersection({3, 4}, {9, 10}), {9, 4}, __LINE__);
make_intersection  197 src/Interval.cpp     check(Interval::make_intersection({3, 9}, {4, 10}), {4, 9}, __LINE__);
make_intersection   74 src/Interval.h     EXPORT static Interval make_intersection(const Interval &a, const Interval &b);
make_intersection  782 src/Solve.cpp              Interval intersection = Interval::make_intersection(ia, ib);
make_intersection  807 src/Solve.cpp              result = Interval::make_intersection(ia, ib);
make_intersection  825 src/Solve.cpp              result = Interval::make_intersection(ia, ib);