Axiom.Runtime.UnitTests._ConstantTerm.Unify_con_ne_con C# (CSharp) Method

Unify_con_ne_con() private method

private Unify_con_ne_con ( ) : void
return void
        public void Unify_con_ne_con()
        {
            ConstantTerm con = new ConstantTerm("ali");
            ConstantTerm term = new ConstantTerm("samir");

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