Bind() public method

public Bind ( AbstractTerm term ) : void
term AbstractTerm
return void
コード例 #1
0
ファイル: ConstantTerm.cs プロジェクト: ahodroj/prologdotnet
        public void Bind()
        {
            ConstantTerm term = new ConstantTerm();
            ConstantTerm term2 = new ConstantTerm();

            term.Bind(term2);

            Assert.AreSame(term, term.Reference());
        }
コード例 #2
0
ファイル: ConstantTerm.cs プロジェクト: ahodroj/prologdotnet
        public void Dereference()
        {
            ConstantTerm term1 = new ConstantTerm();
            ConstantTerm term2 = new ConstantTerm();
            ConstantTerm term3 = new ConstantTerm();

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

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