Ejemplos de Axiom.Runtime ListTerm.Bind en C# (CSharp)

Bind() public method

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

Ejemplo n.º 1

Archivo: ListTerm.cs Proyecto: ahodroj/prologdotnet

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

            term.Bind(term2);

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

Ejemplo n.º 2

Archivo: ListTerm.cs Proyecto: 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());
        }