Axiom.Runtime.UnitTests._StructureTerm.Unify_str_ref C# (CSharp) Метод

        public void Unify_str_ref()
        {
            AbstractTerm term = new AbstractTerm();
            StructureTerm s = new StructureTerm("s", 2);

            Assert.IsTrue(s.Unify(term));

            Assert.AreEqual(term.Arity, s.Arity);
            Assert.AreEqual(term.Name, s.Name);
        }