Axiom.Runtime.UnitTests._ConstantTerm.Unify_con_eq_con C# (CSharp) 메소드

        public void Unify_con_eq_con()
        {
            ConstantTerm con = new ConstantTerm("ali");
            ConstantTerm term = new ConstantTerm("ali");

            Assert.IsTrue(con.Unify(term));
        }