C# (CSharp) Axiom.Runtime AbstractTerm.Bindの例

Bind() public method

Binds this object to another one.

public Bind ( AbstractTerm term ) : void
term	AbstractTerm
return	void

コード例 #1

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

        public void Bind()
        {
            AbstractTerm term = new AbstractTerm();
            AbstractTerm term2 = new AbstractTerm();

            term.Bind(term2);

            Assert.AreSame(term2, term.Reference());
        }

コード例 #2

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

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

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

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