Method test_7

src/examples/java/test/Test.java:161–202

()

	}

	static void test_7() {
		System.out.print("test 7...");

		String t7 = "r(f(X,X), Y)";

		Variable vX = new Variable("X");
		Variable vY = new Variable("Y");
		Query q7 = new Query("r", new Term[] { new Compound("f", new Term[] { vX, vX }), vY });
		Map<String, Term>[] solutions = q7.allSolutions();

		// Hashtable<String, Term>[] solutions = Query.allSolutions(t7);

		if (solutions.length != 2) {
			System.out.println(t7 + " failed:");
			System.out.println("\tExpected: 2 solutions");
			System.out.println("\tGot:      " + solutions.length);
			// System.exit(1);
		}
		Term X = solutions[0].get("X");
		Term Y = solutions[0].get("Y");
		if (X != Y) {
			System.out.println(t7 + " failed:");
			System.out.println(Util.subsToString(solutions[0]));
			System.out.println("\tThe variables to which X and Y are bound in the first solution should be identical.");
			// System.exit(1);
		}
		X = solutions[1].get("X");
		Y = solutions[1].get("Y");
		if (X == Y) {
			System.out.println(t7 + " failed:");
			System.out.println(Util.subsToString(solutions[1]));
			System.out.println("\tThe variables to which X and Y are bound in the second solution should be distinct.");
			// System.exit(1);
		}
		if (X.equals(Y)) {
			System.out.println(t7 + " failed:");
			System.out.println(Util.subsToString(solutions[1]));
			System.out.println("\tThe variables to which X and Y are bound in the second solution should not be \"equal\".");
			// System.exit(1);
		}
		System.out.println("passed");
	}

	static void test_8() {
		System.out.print("test 8...");