Axiom.Runtime.UnitTests._AbstractTerm.Unify_after_assignment C# (CSharp) Метод

        public void Unify_after_assignment()
        {
            AbstractTerm term = new AbstractTerm();
            ConstantTerm con = new ConstantTerm("test");

            term.Assign(con);

            Assert.AreEqual(term.Unify(con), con.Unify(term));
        }