C# (CSharp) Axiom.Runtime ListTerm.Dereferenceの例

Dereference() public method

public Dereference ( ) : AbstractTerm
return	AbstractTerm

コード例 #1

ファイル: ListTerm.cs プロジェクト: ahodroj/prologdotnet

        public void Dereference()
        {
            ListTerm term1 = new ListTerm();
            ListTerm term2 = new ListTerm();
            ListTerm term3 = new ListTerm();

            term2.Bind(term3);
            term1.Bind(term2);

            Assert.AreSame(term1, term1.Dereference());
        }