()
| 68 | } |
| 69 | |
| 70 | static void test_3() { |
| 71 | System.out.print("test 3..."); |
| 72 | Query q3 = new Query("p", new Term[] { pair_a_b }); |
| 73 | if (!q3.hasSolution()) { |
| 74 | System.out.println("p(a-b) failed"); |
| 75 | // System.exit(1); |
| 76 | } |
| 77 | System.out.println("passed"); |
| 78 | } |
| 79 | |
| 80 | static void test_4() { |
| 81 | System.out.print("test 4..."); |