Axiom.Runtime.UnitTests._StructureTerm.Unify_str_con C# (CSharp) Method

Unify_str_con() private method

private Unify_str_con ( ) : void
return void
        public void Unify_str_con()
        {
            ConstantTerm term = new ConstantTerm("ali");
            StructureTerm s = new StructureTerm("s", 2);

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