AIMA.Test.Core.Unit.Logic.FOL.UnifierTest.testThetaPassedBackIfXEqualsYBothVariables C# (CSharp) Method

        public void testThetaPassedBackIfXEqualsYBothVariables()
        {
            Variable var1 = new Variable("x");
            Variable var2 = new Variable("x");

            theta.Add(new Variable("dummy"), new Variable("dummy"));
            Dictionary<Variable, Term> result = unifier.unify(var1, var2, theta);
            Assert.AreEqual(theta, result);
            Assert.AreEqual(1, theta.Keys.Count);
            Assert.IsTrue(theta.ContainsKey(new Variable("dummy")));
        }