check_and_condition 1513 src/Solve.cpp      check_and_condition(x > 0, const_true(), Interval(1, y));
check_and_condition 1514 src/Solve.cpp      check_and_condition(x > 0, const_true(), Interval(5, y));
check_and_condition 1515 src/Solve.cpp      check_and_condition(x > 0, const_false(), Interval(-5, y));
check_and_condition 1516 src/Solve.cpp      check_and_condition(x > 0 && x < 10, const_true(), Interval(1, 9));
check_and_condition 1517 src/Solve.cpp      check_and_condition(x > 0 || sin(x) == 0.5f, const_true(), Interval(100, 200));
check_and_condition 1519 src/Solve.cpp      check_and_condition(x <= 0, const_true(), Interval(-100, 0));
check_and_condition 1520 src/Solve.cpp      check_and_condition(x <= 0, const_false(), Interval(-100, 1));
check_and_condition 1522 src/Solve.cpp      check_and_condition(x <= 0 || y > 2, const_true(), Interval(-100, 0));
check_and_condition 1523 src/Solve.cpp      check_and_condition(x > 0 || y > 2, 2 < y, Interval(-100, 0));
check_and_condition 1525 src/Solve.cpp      check_and_condition(x == 0, const_true(), Interval(0, 0));
check_and_condition 1526 src/Solve.cpp      check_and_condition(x == 0, const_false(), Interval(-10, 10));
check_and_condition 1527 src/Solve.cpp      check_and_condition(x != 0, const_false(), Interval(-10, 10));
check_and_condition 1528 src/Solve.cpp      check_and_condition(x != 0, const_true(), Interval(-20, -10));
check_and_condition 1530 src/Solve.cpp      check_and_condition(y == 0, y == 0, Interval(-10, 10));
check_and_condition 1531 src/Solve.cpp      check_and_condition(y != 0, y != 0, Interval(-10, 10));
check_and_condition 1532 src/Solve.cpp      check_and_condition((x == 5) && (y != 0), const_false(), Interval(-10, 10));
check_and_condition 1533 src/Solve.cpp      check_and_condition((x == 5) && (y != 3), y != 3, Interval(5, 5));
check_and_condition 1534 src/Solve.cpp      check_and_condition((x != 0) && (y != 0), const_false(), Interval(-10, 10));
check_and_condition 1535 src/Solve.cpp      check_and_condition((x != 0) && (y != 0), y != 0, Interval(-20, -10));